Element of Integral Domain is Divisor of Itself

Theorem
Let $\left({D, +, \circ}\right)$ be an integral domain whose unity is $1_D$.

Then every element of $D$ is a divisor of itself:


 * $\forall x \in D: x \backslash x$

Proof
Follows directly from the definition of divisor:


 * $\forall x \in D: \exists 1_D \in D: x = 1_D \circ x$