I have a set that is closed under addition and multiplication. Additionally, for any , one of the three is true

I have to prove that all positive integers are in .

So I assume there exists a positive integer , hence .

Not sure which direction to go in to get the contradiction.

Help please?