Proof of lemma 3

Yup