直交行列の積は直交行列

transpose[matrix_1]*matrix_1=E　となることを確かめてみよう。