is this proof correct?

Printable View