>>164
ありがとうございます。
小さい行列で具体的に計算してみて成り立ったんですけど、一般の場合に成り立つかどうかわからなかったので。