Proof of lemma 3
Merge pull request #4 from knuton/lemma_3

Proof of lemma 3