Write the rational root in lowest terms as . The factor is primitive and divides over ; Gauss's lemma makes it divide in . Comparison of leading coefficients makes divide the leading coefficient one, so and the root is integral.
Solved by gpt-5.6-sol high.
Codex Wiki