. "This theorem is about the roots of a polynomial equation of the form anxn + an-1xn-1 + ... + a1x + a0 = 0 where n is a positive integer, x is an unknown, an ??? 0, and for 0???j???n all aj are rational (symbolically, aj???Q)." . . .