If matrix $A$ is invertible, then the inverse is unique. Perhaps the simplest proof is the following: $$B = BI = B(AC) = (BA)C = IC = C,$$
if $B,C$ are any pair of matrices that satisfies $AB=BA=AC=CA=I.$
When I was grading an exam for introductory linear algebra class, I saw many "proofs" that goes like this: Assuming $AB=AC=I$, for some matrices $B,C$, we get $$A^{-1}AB = A^{-1}AC\Rightarrow B=C.$$
Now I have a problem with this proof because when the student is multiplying both sides by $A^{-1}$, the equality might not be preserved since we are not assuming its uniqueness. However, this approach is easily salvaged by choosing $A^{-1}$ to be either $B$ or $C$.
Therefore, I deducted points from students who did not specify what $A^{-1}$ exactly is. Hence, I am wondering if it is right to consider the above as an incomplete proof and I want to hear opinions of more experienced professors/teachers.