student proofs 163