>>356 より ρ^(-1) = μρμ である。
よって (a, b, c) ∈ RF(D) のとき ρ^(-1)(a, b, c) ∈ RF(D) である。
よって ρ は RF(D) の集合としての自己同型である。