Zyklische Gruppe/Ist kommutativ/Fakt