Otra comprobación es si la congruencia formula_2 es cierta, siendo "B" un número de Bernoulli.