逆行列の定義、存在条件,および解法