Lagrange root bound over a field
= Lagrange root bound over a field
{c}
= Root bound for a polynomial
{synonym}
A nonzero <polynomial> of <degree of a polynomial>[degree] $d$ over a <field> has at most $d$ distinct roots. Indeed, each root supplies a linear factor by <polynomial division>, and induction on $d$ gives the bound.