If r is a root of the polynomial equation x^n + a_(n - 1) x^(n - 1) + ... + a_1 x + a_0 = 0, where the a_is are integers and r satisfies no similar equation of degree

algebraic number | casus irreducibilis | elementary operation | Euclidean number | radical integer