Parity Addition is Commutative

Theorem
Let $R := \left({\left\{ {\text{even}, \text{odd} }\right\}, +, \times}\right)$ be the parity ring.

The operation $+$ is commutative:


 * $\forall a, b \in R: a + b = b + a$