Aún más, podría ser que formula_12 fuera un factor primo de formula_16, incluso formula_17 es divisible por formula_1.