3次元ユークリッド空間の元u,vに対して、Rを回転を表す行列、すなわち直交行列かつdetR=1であるような行列としたときに
Ru×Rv=R(u×v)
が成り立つことのエレガントな証明ってありませんか?