Ahora, en vista de que formula_2 es un conjunto, se puede substituir formula_4 por formula_2 en la ecuación (2), de donde se obtiene