Kummer congruences

GPTKB entity