Esto dice que en cada expresión formula_82, o bien el exponente de formula_72 será lo suficientemente grande como para anular la expresión (si formula_84 entonces es formula_85, luego el exponente de formula_17 es mayor o igual que formula_18, y así formula_88), o bien el exponente de formula_17 será lo suficientemente grande como para anular la expresión (si formula_80 entonces es formula_91).