[defined]

Did you mean m×n=n×m?

[HWR_14]

Both are axioms. a = a (and by extension mxn = mxn) is another axiom.

[goldenkey]

Don't forget ©=©

[qubex]

Yes. Oops.