Consider a rotation ρ in Rd.
Rd 内の回転 ρ を考える。