We shall prove the following ungainly technical lemma.

• 我们来证明下面的冗长的技术性的引理。