Pero por el Axioma de la Unión, eso significa que formula_10, y como además existe formula_3 tal que formula_4, concluimos que formula_19.