Is my logic for this proof okay?

Printable View