Allora l Î K è un autovalore di F se e solo se l è una radice di PF(t).
In particolare F possiede al più n autovalori distinti.