(G,◦ ) ist eine kommutative Gruppe, denn
(Kommutativität) ∀x,y ∈ G : x◦y = y◦x
(Assoziativität) ∀x,y,z ∈ G : (x◦y)◦z = x◦(y◦z)
(Lösbarkeit) ∀a,b ∈ G ∃x ∈ G : a◦x = b .
Meine Frage: Wie beweise ich nun, dass zum Punkt Lösbarkeit immer genau ein x ∈ G existiert?