Как называется теорема?

[tass]

Подскажите пожалуйста, какое имя присвоено теореме, гласящей что максимальная степень простого числа $p$, которая будет делить количество сочетаний $ C^k_n $ равна количеству переносов, выполняемых в p-ичной системе счисления при сложении столбиком $ (n-k) $ и $ k $?

P.S. Надеюсь, местами переменные не перепутал...

[luitzen]

Э. Куммер, 1852 г.

[tass]

Спасибо!