Kommutative Gruppe/Beweis