Kummer's congruences