Help understanding proof

Printable View