Proof.pdf