Sehr schön, der Satz über die rationale Nullstelle kann natürlich die Kardinalität der Menge möglicher Nullstellen minimieren.
Allerdings müsste man schon mit {1,3,5,9,15,27,45,81,135,243,405,1215} etwas rumtesten, um auf das richtige Ergebnis zu kommen.