AB*(AB)^(-1)=E
AB^(-1)=B^(-1)A^(-1)
AB*(AB)^(-1)=AB*B^(-1)*A^(-1)=A[B*B^(-1)]A^(-1)=E
故：B*B^(-1)不等于0
B*B^(-1)=E,A*A^(-1)=E
得证.