Foir ein Monoid $G$. betrachte man die folgenden Bedingungen:
(i) $G$ ist eitre Gruppe.
(ii) Firr $a, x, y \in G$ mit $a x=e y$ oder $x a=y a$ folgt stets $x=y$ -
Es gilt stets (i)\Rightarrow (ii). Man zeige, dass die Umkehrung fiur endliche Monoide $G$ richtig ist, nicht aber fiir beliebige Monoide $G$,