[proof_first_part.png]