Por el Axioma de Regularidad, existe un conjunto formula_18 de manera que es elemento minimal de formula_19, es decir, de forma que formula_20.