命題
C をアーベル圏(>>533)とする。
C がAB5(>>121)とAB5*(>>122)を満たせば C = 0 である。

証明
>>173と>>190より明らかである。