Added proof of lemma