この時点で、単にが行列に等しいとおく誘惑にかられそうになる(そうすれば左辺は零行列で右辺はになるから)が、これは係数が可換でないときには許されない操作である。