Zyklische Gruppe/Ist kommutativ/Fakt/Beweis/Aufgabe