Sea formula_115 un número primo.