183_notes:proof_of_pp