Parity Multiplication is Commutative

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

The operation $\times$ is commutative:


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