States a constraint on rational solutions of a polynomial equation.The theorem states that each rational solution x = p/q, written in lowest terms so that p and q are relatively prime, satisfies:p is an integer factor of the constant term a0, andq is an integer factor of the leading coefficient an.