>>787の修正

命題
C を局所的に小さい圏(過去スレ017の343)で積を持つ(過去スレ018の910)とする。
C が単射的(>>759)な余分離対象(過去スレ018の219)を持てば
C は十分多くの単射的対象を持つ(>>796)。

証明
>>5と>>785より明らかである。