Invertible matrix theorem (4)