On: Euclid's Proof that √2 is Irrational

[red_trumpet]

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#Norma...