A、X、Yをそれぞれn次正方行列として、AX=YA=IならばX=Y=A^−１を
証明するのってどうやるんですか？