Gruppe/Lösbarkeit von Gleichungen/Fakt/Beweis/Aufgabe