>>260
行列Xの逆行列がYであるとは、
XY = YX = E
ってことなんです（定義）

だから、AB の逆行列が B^-1A^-1 であるってことを示すには、
(AB)(B^-1A^-1) = (B^-1A^-1)(AB) = E
を示さないといけないです。

ってこと？