回転行列の掛け算でもいいけど
形式的でもいいから公式の導き方を知っておくのは
いい事じゃないのかね。