>>773なんで？
回転行列を加法定理から導いたんだったら循環だけど、
回転行列は全く別の方法で導いたんだったら循環じゃないでしょ。