EK: (çarpım değişmeli ise veya tanım $ax=xa=a$ şeklinde yapılırsa)
Daha az varsayımla bile doğru:
$G$ bir yarıgrup (bir küme ve birleşme özelliğine sahip bir ikili işlem) olsun. (birleşme özelliği bile gereksiz ama o durumun bir adı yok)
$x,y\in G$, $x$ soldan yutan, $y$ sağdan yutan eleman olsun. (Tanımları tahmin edilebilir aşağıda da görülüyor,)
$x$ soldan yutan eleman olduğu için $xy=x$
$y$ sağdan yutan eleman olduğu için $xy=y$
olur. Bu nedenle $x=y$ dir