آدرین ماری لژاندر با نبوغ سرشار و کوشش بی وقفه اش به ما نشان داد که اگر $n$ عددی طبیعی، $p$ عددی اول باشد و $d(n,p)$ بیشترین توانی از $p$ که در تجزیۀ $n!$ ظاهر می شود، باشند آنگاه داریم:
$d(n,p)=[ \frac{n}{p} ]+[ \frac{n}{p^2}]+[ \frac{n}{p^3} ]+...$
این سری بعد از چند مرحله با جملات صفر است(؟).
از طرفی دیگر میدانیم:
$if:x,y \in R \Rightarrow [x+y] \geq [x]+[y]$
$ \Rightarrow d(n+m,p)=[ \frac{n+m}{p} ]+[ \frac{n+m}{p^2} ]+[ \frac{n+m}{p^3} ]+...$
$=[ \frac{n}{p} + \frac{m}{p} ]+[ \frac{n}{p^2} + \frac{m}{p^2} ]+[ \frac{n}{p^3} + \frac{m}{p^3} ]+...$
$ \geq [ \frac{n}{p} ]+[ \frac{m}{p} ]+[ \frac{n}{p^2} ]+[ \frac{m}{p^2} ]+[ \frac{n}{p^3} ]+[ \frac{m}{p^3} ]+...$
$=([ \frac{n}{p} ]+[ \frac{n}{p^2} ]+[ \frac{n}{p^3} ]+...)+([ \frac{m}{p} ]+[ \frac{m}{p^2} ]+[ \frac{m}{p^3} ]+...)$
$=d(n,p)+d(m,p)$
حالا اگر دقت شود $d(n,p)+d(m,p)$ بیشترین توان $p$ در تجزیۀ $n!m!$ است.پس اگر صورت و مخرج کسر را به عاملهای اول تجزیه کنیم برای هر عامل توان در صورت از توان در مخرج برای همان عامل کمتر نیست.این یعنی صورت بر مخرج قابل قسمت است.
قسمت دوم با استفاده از اصل استقراء ریاضی اثبات می شود.
$ \Box $