Demostración (del lema): Tenga formula_89 esta prioridad, formula_105, y supongamos que el resto prefiere a formula_98 antes que a formula_91 o a formula_108.