correct proofs?

Printable View