Tenemos que formula_23 para cualquiera que sea el conjunto formula_1 (pues esto sería falso sólo si existiera algún elemento en formula_22 que no estuviera en el conjunto formula_1, lo cual es absurdo pues formula_22 no contiene nada).