1) Il suffit de remarquer que: p*(C(x-1) parmis (p-1))=x*(C(k parmis p), et donc p / x*(C(x parmis p), or: p et x sont premiers entre eux puisque p est premier et k<p, d'apres GAUSS p /C(x parmis p).
2) Utiliser le binome de Newton, en séparant les termes: 0, puis p, puis sigma de 1 jusqu'à p-1, et en déduire le résultat depuis 1).
3) Récurrence directe en utilisant le résultat 2).
4) Disjonction des cas, a positif d'après 2), a négatif(2 cas: p=2 ou p=2k+1).