This property stems from the fact that for each "n", the sum of "n"th powers of an algebraic integer "x" and its conjugates is exactly an integer; this follows from an application of Newton's identities.