Sean formula_6 y formula_7 dos conjuntos, y formula_37.