Demostración: Si formula_213, tenemos que formula_212 , por lo que formula_24 no tiene ningún antecedente en formula_100.