Kummer congruence