n.引理;(词典的)词条
We shall prove the following ungainly technical lemma. 我们来证明下面的冗长的技术性的引理。
Note that this proof uses the strong version of the ArtinRees lemma. 请注意这个证明使用了ArtinRees引理的强形式。