命題
A を環、
0 → N → M → L → 0 を A-加群の完全列とする。
L が自由加群なら、この完全列は分解する。

証明
>>648より明らか。