Added proof of Lemma 4