... xn + an-1 xn-1 + ... + a1 x + a0 = 0 where the coefficients ai are integers. Suppose you know that there exists some real number x with p(x) = 0 (for instance because of ...