 Lagrange root bound over a field

A nonzero polynomial of 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.