Equivalence of Definitions of Associate in Integral Domain

Theorem
Let $\struct {D, +, \circ}$ be an integral domain.

Proof
We have:

But $\ideal x = \ideal y$ is the definition of associates according to Definition 2.