命題
A を環とする。A のすべての素イデアルの共通部分は A のべき零元の
全体と一致する。

証明は>>162より明らか。

A のべき零元の全体を Nil(A) と書く。