Seja = Imagem associada para resolução da questão onde A e B são subconjuntos de X, e Imagem associada para resolução da questão é o complementar de A em relação a X. Sendo assim, pode-se afirmar que o número máximo de elementos de B é