Let be an algebraic integer in some algebraic field extension of . Prove that if all of the conjugates of have modulus strictly less than 1 then .
Recall that the norm of is the product of its conjugates . By Lemma 7.1 in TAN, is a rational integer. Letting bars denote taking the complex modulus, we also have . So , and thus .