R(θ)*X(θ)*R(-θ)を行列で書いて掛け合わせるとさっきの公式になるの?