エロイ人たすけて!

X,Yをユニタリ行列とする。
このときXY,X^-1もユニタリ行列になる事を証明せよ
範囲は線形