Let . We prove is finitely generated. For , let denote the leading coëfficient of . Consider the ideal

which is finitely generated since is noetherian. It follows there exist such that where

Let , and consider the -submodule

consisting of all polynomials of degree . Since is -module-finite, it is -module-noetherian by ^P2. Therefore

for some .

We claim

which proves the theorem. It suffices to show . To this end, let . If , let , whence there exist such that

so

has degree . By iterating this procedure one finds such that

has degree and is thus contained in , so

for some , whence

as required.