Skew fields, also called division rings, have all the properties of fields except that multiplication
need not be commutative. When multiplication is not assumed to be commutative, a
couple of the field axioms have have to be stated in two forms, a left form and a right form.
In particular, we require