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.