Help proving the following theorems

Printable View