Todos os vinte e três livros de uma coleção serão distribuíd...

Todos os vinte e três livros de uma coleção serão distribuídos entre seis alunos da Fatec–Itatiba, de modo que cada aluno receba, pelo menos, dois livros.
Nessas condições, conclui-se necessariamente que