Equivalence of Definitions of Associate in Integral Domain/Definition 1 Equivalent to Definition 2

Proof
We are to show that:
 * $x \divides y \text{ and } y \divides x \iff \ideal x = \ideal y$

Thus: