命題
A を可換環とする。
M を A-加群とする。
M は A-加群として e_1、．．．、e_p で生成されるとする。
このとき任意の整数 n ＞ p に対して Alt(M^n、N)（>>777）= 0 である。

証明
>>786の証明と同様である。