Equivalence of Definitions of Characteristic of Ring

Theorem
Let $\left({R, +, \circ}\right)$ be a ring with unity whose zero is $0_R$ and whose unity is $1_R$.

The following definitions of the characteristic of $\left({R, +, \circ}\right)$ are logically equivalent: