es siempre un número primo, donde formula_57 es la función piso.