Natural Number Multiplication is Closed

Theorem
Let $x$ and $y$ be natural numbers.

Let $\omega$ denote the Minimal Infinite Successor Set.


 * $\displaystyle ( x \cdot y ) \in \omega$