Help with simple proving

Printable View