Added proof of lemma we needed (Lemma 0.13)