Rational zero theorem