Dans ce théorème 15, soit un ensemble E un ensemble fini de cardinal n. Et k un entier tel que o ≤ k ≤ n. Ainsi, le nombre de combinaison des n éléments de E, pris k à k est