命題
余完備(過去スレ017の829)かつ余冪良(過去スレ018の660)な圏は強余完備(>>181)である。

証明
>>193と双対原理(過去スレ018の159)。