In mathematics, Kummer's congruences are some congruences involving Bernoulli numbers, found by Ernst Eduard Kummer (1851).
Kubota & Leopoldt (1964) used Kummer's congruences to define the p-adic zeta function.