Zu je zwei Gruppenelementen a , b ∈ G {\displaystyle {}a,b\in G} besitzen die beiden Gleichungen
eindeutige Lösungen x , y ∈ G {\displaystyle {}x,y\in G} .