Parity Multiplication is Commutative

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

The operation $\times$ is commutative:


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