The cool thing is this argument immediately generalizes to zeroes of monic polynomials with integer coefficients, i.e. x^n + a_0 x^{n-1} + ... + a_n. In commut

The cool thing is this argument immediately generalizes to zeroes of monic polynomials with integer coefficients, i.e. x^n + a_0 x^{n-1} + ... + a_n. In commutative algebra one says "the ring Z is integrally closed in its field of fractions Q", or short "Z is normal".[1] [1] https://en.wikipedia.org/wiki/Integrally_closed_domain#Normal_rings?wprov=sfla1 https://en.wikipedia.org/wiki/Integrally_closed_domain#Norma...