De lo anterior se colige que formula_33 Además, del supuesto se tiene que formula_34 Sin embargo, para cada formula_25 se tiene que formula_24, es decir, formula_37, lo cual es una contradicción.