命題
(F, G, ψ) を随伴状況(>>362)とする。
ε_M ∈ Hom(F(G(M)), M) を>>423で定義した射とする。
ε：FG → 1_D は自然変換である。

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