Correct proof of lemma 3.16
Merge pull request #44 from bimmlerd/proof3.16

Correct proof of lemma 3.16