Cleaned up the statement of a theorem on invertible matrices. Proved left inverse or right inverse => invertible.