A Proof of Lemma 4.2 554 Lemma A.1 (Restatement of Lemma 4.2)