Según sabemos, formula_19 es la negación de formula_21, que por el Axioma de Extensión es la negación de que formula_22.