Natural Number Multiplication is Closed

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

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


 * $\left({x \times y}\right) \in \omega$