 It follows that every set can be wellordered and thus that the axiom of choice is true.For the crucial property expressed in (i) above to hold, and hence the whole proof, it is sufficient for to be a cancellative magma, e.g.a quasigroup.