a 0 , a n ≠ 0 ⟹ ∃ p , q ∈ ℤ , ( x = p q ∧ gcd { p , q } = 1 ∧ p ∣ a 0 ∧ q ∣ a n )
a i
gcd
rational root theorem
Satz über rationale Nullstellen
theorem
mathematischer Satz
rational roots test