Understanding the proof of Schur's theorem

219 Views Asked by At

enter image description here

The proof comes from Linear Algebra by Friedberg, Insel, Spence. I don't understand one step in this proof. How do we know that $T_{W^{\perp}}$ splits? I am confused because it is not obvious to me that "the characteristic polynomial of $T_{W^{\perp}}$ divides the one of $T$" implies that $T_{W^{\perp}}$ splits.