>>964
detA≠0⇒Aは逆行列を持つ
これを証明するのにあるBが存在してAB=BA=Eをいう必要があるから
detを使うと循環論法になってしまい証明にはならない