Invertible matrix theorem (2)