Did I do the following two column proof correctly?

Printable View