命題
C を小さい前加法圏(過去スレ019の504)とし、D をアーベル圏(過去スレ019の533)とする。
>>414より Add(C, D)(>>413) はアーベル圏である。

このとき D がAB5(>>121)を満たせば Add(C, D) もAB5を満たす。

証明
>>184と同様である。