Lagrange theorem for polynomial congruences

A nonzero polynomial of degree $d$ over a field has at most $d$ roots. In particular, if a polynomial congruence $f(x)\equiv 0(\mathrm{mod}p)$ has degree $d$ and not all coefficients are divisible by the prime $p$, it has at most $d$ incongruent solutions modulo $p$.