siendo el cardinal del grupo formula_2.