lec3a proof_1