Unfinished proof of last lemma.

Before the last lemma, there is another (yet) unproven lemma which is to be used in the last lemma.