Kummer's theorem

Etymology
Named after Ernst Kummer, who proved it in an 1852 paper.

Proper noun

 * 1)  A formula for the exponent of the highest power of a prime number that divides a given binomial coefficient.