having trouble with a proof.

Printable View