>>55
正則行列であることの定義には何を用いてる?