Unity Divides All Elements

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

Then unity is a divisor of every element of $D$:
 * $\forall x \in D: 1_D \divides x$

Also:


 * $\forall x \in D: -1_D \divides x$