命題
C をアーベル圏(過去スレ019の533)とする。
C が分離対象(過去スレ018の212)を持てば C は冪良(過去スレ018の650)である。

証明
過去スレ018の684より C は正則冪良(過去スレ018の650)である。
C の任意の単射は正則単射(過去スレ018の456)であるから C は冪良である。
証明終