Prove that every algebraic integer divides a rational integer. (Here we mean divisibility in the extended sense that if is an algebraic integer, not necessarily in a given field.)
Let be an algebraic integer with conjugates . (Recall that the are also algebraic integers.) Let denote the norm of .
By Theorem 7.1 in TAN, is a rational integer. By definition, .