2009-04-14 SICM Exercise 2.1. SICM Euler's theorem on rotations about a point の回転軸を座標軸として持つ座標系を考えれば自明。