The rational root theorem