A^0って定義されてないんですか？？

対角行列と行列の積は交換可能って教科書にないっすよね…？
もしかしたら自明に出せる…？どうやって？？