Proof of veritassium's claim