Der Satz über das inverse Element in einer Gruppe .