命題
A をネーター環とし、I をそのイデアルで I ⊂ rad(A) とする。
M を有限生成 A-加群で、M ≠ 0 とする。
x_1, ..., x_r を I に含まれる M-正則列 とする。
n_1, ..., n_r を整数の列で各 n_i > 0 とする。
このとき、(x_1)^(n_1), ..., (x_r)^(n_r) も M-正則列である。

証明
各 i に対して i ≠ j なら n_j = 1 のときの場合、つまり

x_1, ..., (x_i)^(n_i), ..., x_n

がM-正則列であることを示せば、一般の場合はこれから直ぐでる。
よって、この場合を証明する。

>>85 より、x_i を最後に移動した列

x_1, ..., x_r, x_i

も M-正則列である。
一般にM-正則な元の任意のベキ乗もM-正則だから、

x_1, ..., x_r, (x_i)^(n_i)

も M-正則列である。
よって、再び >>85 より (x_i)^(n_i) をもとの位置に戻した列

x_1, ..., (x_i)^(n_i), ..., x_n

も M-正則列である。
証明終