Proofs. Need help proving the following

Printable View