Det kan bevises at det finnes en mengde X slik at card Y < card X for en virkårlig mengde Y.