Comment by @a16zz • Hey

how to prove