On peut aussi le voir "complètement à la main" et dans des cas pratiques ou alpha est connu, cela peut être utile :
Il existe un polynôme P (à coeff dans K) tel que
=0)
et, quitte à divier P par

, on peut supposer que le terme constant

de P est non nul (sinon c'est que

donc
=K)
!) .
Dans l'égalité
=0)
, si on retranche

des deux cotés, que l'on factorise

à gauche et que l'on divise des deux cotés par

on obtient une égalité de la forme
=1)
où Q est un polynôme donc
\in K[\alpha])