An endomorphism of Fn has an eigenvector if and only if its characteristic polynomial has some root.
Fn的自同态具有特征向量，当且仅当它的特征多项式具有某个根。