En este caso formula_1 y los subgrupos formula_43 pueden ser infinitos.