Déjà, perso, la question me surprend un peu du fait que, pour moi,
la définition de

c'est le le nombre de partie à p éléments (p<n) d'un ensemble de n éléments (c'est la propriété qu'on utilise en permanence en proba "basiques" donc ça me semble malin de la prendre comme définition)
De plus, partant de ça comme définition, on montre trés simplement (et trés "carré-carré) que

qui permet 1) la construction du triangle de pascal et 2) de faire la preuve (par réccurence) de la formule du binôme de Newton.
Ensuite, pour démontrer que
}!)
tu peut soit faire une réccurence en partant de

, soit faire une preuve directe partant du fait (démontrable "caré-carré") qu'il y a k! bijections d'un ensemble de k éléments dans lui même.