>>113
　････つまり、本題は次の補題に帰着した。

〔補題〕
2次の正方行列 A,B について　
　det(A) + det(B) - tr(AB) + tr(A)･tr(B) = det(A+B),

(略証)　成分を使って計算するだけ。