Re:>>145 いちいち報告しなくていいからお前はお前自身を叩くがよい.

複素数の正方行列Xに対して, Xが unitary 行列で対角化可能 ⇔ Xが正規行列.