Modulo Multiplication is Commutative

Theorem
Multiplication modulo $m$ is commutative:


 * $\forall \eqclass x m, \eqclass y m \in \Z_m: \eqclass x m \times_m \eqclass y m = \eqclass y m \times_m \eqclass x m$