Entonces: Ó formula_16 ó formula_17 es un factor no trivial del número formula_12.