命題
A を可換環とする。
M を A-自由加群で基底 e_1、．．．、e_p を持つとする。
このとき p = min {n；Alt(M^n、A) ≠ 0} である。

証明
>>786と>>788より明らかである。