Is proof correct?

Printable View