Proof of Lemma 1