"Halfway" through a proof, help needed

Printable View