基本行列の正則性