Soit 
un nombre premier et soit 
un entier naturel tel que 
Prouver que les entiers :
![\[ \binom{n}{p}\qquad\text{et}\qquad\left\lfloor \frac{n}{p}\right\rfloor \]](https://math-os.com/wp-content/ql-cache/quicklatex.com-e3745888d08332ca5194c6c337dd645d_l3.png "Rendered by QuickLaTeX.com")
adique (c’est-à-dire que figure avec le même exposant dans la décomposition en facteurs premiers de l’un et de l’autre).
On précise que 
désigne la partie entière par défaut du réel 
Une solution est disponible ici
