rational zero theorem