命題
A を可換環とする。
M を A-自由加群で基底 e_1、．．．、e_p と 基底 f_1、．．．、f_r を持つとする。
このとき p = r である。

証明
>>790より明らかである。