補題
C を完備(過去スレ017の828)で冪良(>>375)なアーベル圏とする。
Mon を C の単部分圏(>>456)とする。
AP を絶対純対象全体(>>465)からなる Mon の充満部分圏(過去スレ017の362)とする。

このとき AP は C の反射的部分圏(過去スレ018の136)である。

証明
>>459より Mon は C の反射的部分圏である。
>>470より AP は Mon の反射的部分圏である。
よって、AP は C の反射的部分圏である。
証明終