Equivalence of Definitions of Associate in Integral Domain

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

Let $x, y \in D$.