Principal Ideals in Integral Domain

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

Let $U_D$ be the group of units of $D$.

Let $\ideal x$ be the principal ideal of $D$ generated by $x$.

Let $x, y \in \struct {D, +, \circ}$.

Then: