Proof_lab_2