He visto este problema por aquí, pero quería comprobar si esta solución es la correcta.
Así que, si $BA = I$, entonces el $det(B)det(A) = 1$, lo que significa ni $det(B)$ o $det(A)$ equivalen a $0$. Porque $det(B) \neq 0$, $B$ debe ser invertible, que significa $CB = I$ % matriz $C$.
A continuación, considere $CBA$.
$BA = I$, que $CBA = C(I) = C$.
$CB = I$, que $CBA = (I)A = A$
$CBA = C = A$. Ahora saber que $C = A$, yo puedo sustituir $A$ $C$ a $CB = AB = I$, que es lo que quería demostrar.