>>14の同型 φ：Hom(ρ_*(F), E) → Hom(F, ρ~(E)) において E = ρ_*(F) とおくと
同型 φ：Hom(ρ_*(F), ρ_*(F)) → Hom(F, ρ~(ρ_*(F))) が得られる。
f ∈ Hom(ρ_*(F), ρ_*(F)) を恒等射とする。
σ = φ(f) とおく。
>>65より b ∈ B、x ∈ F のとき σ(x)(b) = bx である。
σ：F → ρ~(ρ_*(F)) は随伴状況 (ρ_*, ρ~, φ) の単位（代数的整数論019の413）である。
代数的整数論019の411より σ は自然（>>11）である。