help with basic proof

Printable View