の任意のイデアルの無限上昇列を
ならば, の定数項は であるから の定数項も である。したがって, である。また,任意の に対して, の定数項も であるから, 。よって, は のイデアル。
が有限生成であると仮定し, とおく。このとき,各生成元の次数の中で最大のものを とおくと,任意の に対して の 次の係数は の倍数である。したがって であるが,