tiene que formula_1 es un grupo cíclico de orden 8.