I am trying to prove that for two linear transformations ($A$ and $B$), if $AB + I$, then $BA = I$ as well. I think that the best way to go about this is by using the fact that all linear transformations can be represented with a matrix, then show that $AB = BA = I$ whenever $B = A^{-1}$ (note I am working with finite vectors, I am not sure of the properties in an infinite case).
How can you prove that $AA^{-1} = I$ given that $A^{-1}A = I$?