Para montar os grupos de um campeonato, há 16 times, que devem ser divididos em 4 grupos. Sabe‐se que, em cada grupo, já existe um time definido como cabeça de chave.
Nessa situação hipotética, o número de maneiras diferentes de se distribuir os demais times é igual a
