Invertible Matrix Product has Invertible Factors | Linear Algebra