se tendría formula_31, de lo cual formula_38, contradiciendo la condición .