If AB = I, then BA = I.

If AB = I,
then AB has full rank.
then B also has full rank.
If AB = I
BAB = BI
BAB = B
BAB = IB
BAB – IB = 0
(BA-I)B = 0
This can only happen if BA-I=0, as B has full rank.
hence BA = I.