Dimostrazione

 


La prima asserzione è una riformulazione del teorema precedente.
Poiché PA(t) ha grado uguale a dim (V), l'ultima asserzione segue dal fatto che un polinomio di grado n a coefficienti in K possiede al più n radici in K.