Correct proof?

Printable View