命題
A を可換環とする。
M を有限生成 A-自由加群とする。
このとき M の任意の基底は有限である。

証明
M は有限基底 e_1、．．．、e_p を持つ。
>>786より任意の整数 n ＞ p に対して Alt(M^n、N)= 0 である。
よって、>>792より M は無限基底を持たない。
証明終