[HWR_14]

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

[goldenkey]

Don't forget ©=©