E, A, B を同じ型の正方行列とし、Eを単位行列とする。
E-ABが逆行列Cをもつとき、E-BAが正則であることを示し、その逆行列をE, A, B, Cを用いて表せ。