Proof, QED (PROOFV3)