Proof of lemma part 2.