Two proofs needed help

Printable View