De manera análoga se cumple que formula_74, y de ahí se obtiene que formula_75, es decir, la intersección de la familia de conjuntos formula_1 no depende del conjunto formula_3 que tomemos de partida.