命題
C をアーベル圏（代数的整数論019の533）とする。
0 → N → M → L → 0 を C における完全列（代数的整数論019の651）とする。
この完全列が分解（>>315）するためには N → M が断面（>>295）であることが必要十分である。

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