A mathematical theorem that states that the number of real roots of a polynomial of degree n is at most n.