If f(t) is a monic irreducible polynomial in F[t] that divides the characteristic polynomial of a linear operator T on a finite-dimensional vector space V over F, then there exists a positive integer n and a nonzero vector v in V such that f(t)^n is the T-annilhilator of v

이해가 안가므니다..

대략 T는 rational canonical form C를 가지고
f(t)는 T, 즉 C,의 characteristic polynomial을 나누므로
C를 구성하는 companion matrix들 중 하나의 characteristic polynomial을 나누겟죠
별거 아닌것같은데 제가 놓치고 잇는게 잇나요??ㅠㅠ