Remark

The lemma says that there are no units in a semi-group or there is exactly one. Both cases occur:

• The semi-group N of all natural numbers with multiplication has unit 1.

• The semi-group 2N of all even natural numbers with multiplication does not have a unit.