check my proofs

Printable View