Need help to understand a lemma

Printable View