Invertible matrices and the uniqueness of the inverse