命題
C を余完備(過去スレ017の829)なアーベル圏でAB5*(>>121)を満たすとする。
このとき C は (C_2)^* 圏(>>365)である。

証明
>>364とアーベル圏における双対原理(過去スレ019の548)