逆行列の定義を満たすことをいう

>なんで(AB)(A^-1B^-1)=Eを証明しなければいけないんですか。
しなくていいよ