Idempotent Ring has Characteristic Two/Corollary

Theorem
Let $\struct {R, +, \circ}$ be an idempotent non-null ring.

Then:
 * $\forall x \in R: -x = x$

Proof
Let $0_R$ denote the zero of $R$.

Let $x \in R$.

Then:

Hence the result.