Integral Ideal iff Set of Integer Multiples

Theorem
Let $J$ be a non-empty subset of the set of integers $\Z$.

Then:
 * $J$ is an integral ideal


 * $\exists m \in \Z: J = m \Z$.
 * $\exists m \in \Z: J = m \Z$.