the axiom that allows b(7) to be written 7b.
commutativity of multiplication. Order of multiplication doesn't matter for real numbers.