Como es imposible formula_79 con formula_23 entero y formula_81 implica que formula_82 la alternativa formula_83 es imposible.