First show that is an integral domain. What are its invertibles?
is a ring morphism. (why?) (We can see as a subring of )
Let be an ideal of its preimage by ( is a PID and the preimage of an ideal by a morphism is an ideal).
Clearly, Let be an element of with hypotheses on show that iff Therefore Conclude.