Rational Root (Zero) Theorem