I like this one

Suppose the contrary: that there exist such that and such that .

Then, since and , plus the fact that is closed under multiplication,

it implies that and .

Therefore, from the conditions on and regarding multiplication,

it follows that and , a contradiction to .