Proof of Lemma 3