命題
積(過去スレ018の910)と有限交わりをもつ(>>185)圏は完備(過去スレ017の828)である。

証明
C を積と有限交わりをもつ圏とする。
>>191より C は差核をもつ。
よって、>>183より C は完備である。
証明終