Aが回転よりv \neq 0とすると{v,Av}は基底になる。
Xv = 0と仮定する。
0 = AXv = XAv.
ゆえにX = 0.