Nonsingularity of a submatrix