Kronecker theorem on algebraic integers in the unit disk

A nonzero algebraic integer whose conjugates all have modulus at most one is a root of unity. Its norm forces every conjugate to have modulus one, and bounded integral coefficient vectors show that two positive powers coincide.