>>332
対角行列Dに対してはY^2=Dを満たす行列Yが必ず存在する
これはOK?