Note that this proof uses the strong version of the ArtinRees lemma.

• 请注意这个证明使用了ArtinRees引理的强形式。