Can someone verify/correct this proof?

Printable View