Para cada número natural n, definimos I_n como o conjunto, cujos elementos são todos os naturais que não são maiores que n. Luiz listou todos os subconjuntos de I₂₁ com pelo menos dois elementos. Em seguida, ele retirou da lista todos os conjuntos, cujo produto dos elementos era par. Ao final do processo, aparecem na lista de Luiz exatamente