(1)AとBが同じユニタリ行列で多角化可能，(2)ユニタリ行列とその随伴行列の積は単位行列，(3)対角行列の積は可換
を使って計算すればいいということですよね？