Considerando que A, B e C sejam três conjuntos não vazios com a, b e c elementos cada, respectivamente, que a união A?B?C tenha a + 2c / 3 elementos, que a interseção A?C tenha b/2 elementos e que o conjunto A?B seja vazio, então o conjunto B?C terá mais elementos do que o conjunto A?C.