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 comme suit : (nk) = n !/(n-k) !k ! Pour la démonstration, le prof se base sur les anagrammes.