Quick proof of the lemma.
Ignore pdf's.