invertible matrix theorem