Every ideal in ring of integers contains a natural number

Let $\mathbb K$ be a number field of degree $n$ and $O$ the ring of integers in $K$. Let $I$ be an ideal in $O$ and $x\in I$. Note that all $n$ conjugates $x=x_1, x_2, ..., x_n$ of $x$ are also algebraic integers, since they have the same minimum polynomial. Therefore, their product $x.x_2 ... x_n$ is an algebraic integer, and belongs to the ideal $I$. Finally, note that the product $x.x_2 ... x_n$ equals the norm $N(x)$, so it is a positive rational integer.