Cada grupo formula_4 es siempre un subgrupo de sí mismo.