命題
C をアーベル圏とする。
C が余完備であるためには C が余積を持つ(過去スレ019の50)ことが必要十分である。

証明
必要性：
自明である。

十分性：
過去スレ019の517より C は差余核を持つ
よって、過去スレ019の202より C は余完備である。
証明終