Parity Addition is Commutative

Theorem
Let $R := \struct {\set {\text{even}, \text{odd} }, +, \times}$ be the parity ring.

The operation $+$ is commutative:


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