「ある行列が逆行列を持つ」のと「その行列式が0でない」
これは同じことでしたっけ?