>>14の同型 φ：Hom(ρ_*(F), E) → Hom(F, ρ~(E)) において F = ρ~(E) とおくと
同型 φ：Hom(ρ_*(ρ~(E)), E) → Hom(ρ~(E), ρ~(E)) が得られる。
u ∈ Hom(ρ~(E), ρ~(E)) を恒等射とする。
>>65より τ = τu = φ^(-)(u)
よって、τ：ρ_*(ρ~(E)) → E は随伴状況 (ρ_*, ρ~, φ) の余単位（代数的整数論019の425）である。
よって、代数的整数論019の424より τ は自然（>>11）である。