Invertible matrix theorem (3)