直交行列で挟むと、2 次のブロックが対角に並びます
B
1
B
2
O
0
0
零ブロックの大きさは、固有値 0 の重複度に等しくなります