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