>>238
B*((AB)^-1*A) = (A^-1A)*B*((AB)^-1*A)
=A^-1*AB*(AB)^-1*A=A^-1*A=I
((AB)^-1*A)*B = (AB)^-1*AB = I
よってB^-1=(AB)^-1*A