student proofs 156