Si formula_43 es primo, formula_44.