>>184
> AB = BA = E
> を満たすとき、BはAの逆行列であるということしかいえません

これを定義にしているのなら示すべきことは何一つない
これを単に十分条件の一つとしているなら定義を示せ