student proofs 157