>>147
加法定理なしでも
回転行列は導きだせないか?