一定成立.因为AB=I,所以A可逆,且A^(-1)=B
于是BA=A^(-1)A=I.
这可是由定义直接推出的.