Lemma proof help?

Printable View