Self-Inverse Element of Integral Domain is Unity or its Negative

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

Let $x \in D$ such that $x^2 = 1_D$.

Then either $x = 1_D$ or $x = -1_D$.