En cualquier caso tenemos que existiría algún formula_23 de forma que formula_24, lo cual es una contradicción.