Sea formula_145 tal que formula_146 es primo.