Rational root theorem