一部が可換な行列式

最初見た時、「不可能」だと思った。しかし、数値計算してみたら「可能」らしいことが判明した。すると、「不可能」に見えたものは、あっさり「可能である」と証明できてしまった...人間の精神をブロックしているものは、人間の先入観なり。大人になると、心をブロックしすぎなのかもしれぬ。

「心のブロック」のせいで、なかなか証明できなかった公式。
Iは単位行列。A,Bは任意の正方行列。