There are two theorems (theorems 3 and 4) that are based on the inverse of a matrix.
Theorem 3: (Uniqueness of inverse) Inverse of a square matrix, if it exists, is unique.
Theorem 4: If A and B are invertible matrices of the same order, then (AB)⁻¹ = B⁻¹ A⁻¹