命題
有限積と差核をもつ(>>161)圏は有限完備(>>178)である。

証明
>>183の証明と同様にすればよい。