Mittelwertsatz
In a field "K", any polynomial of degree "n" has at most "n" distinct roots (Lagrange's theorem (number theory)),