回転行列の積から加法定理というのがどう循環してるのか聞きたい