Supongamos que podemos factorizar formula_137 sobre formula_261 como formula_267, donde formula_268 puede ser un elemento de formula_5 o un irreducible sobre formula_10 y formula_152 puede ser cero.