La imagen de formula_23 por formula_3, formula_176, está en el conjunto formula_177, y así formula_178.