Matrix is Invertible iff Determinant has Multiplicative Inverse

Corollary of Inverse of Matrix
A square matrix is invertible iff its determinant is not zero.