Μπορούμε κάθε τέτοιο ακέραιο να τον αντιστοιχίσουμε με μοναδικό τρόπο σε ένα υποσύνολο του

. Π.χ. αντιστοιχούμε τον

στο υποσύνολο

. Η αντιστοίχιση είναι μοναδική λόγω των (2) και (3).
Από το (4), για κάθε δύο υποσύνολα

θέλουμε

. Συνολικά έχουμε

υποσύνολα τα οποία μπορούμε να χωρίσουμε σε

ζεύγη υποσυνόλων της μορφής

όπου

το συμπλήρωμα του

στο

. Από κάθε ζεύγος μπορούμε να επιλέξουμε το πολύ ένα υποσύνολο. Άρα έχουμε το πολύ

υποσύνολα. Θα δείξουμε ότι μπορούμε να έχουμε τόσα ώστε να ικανοποιούνται επίσης οι (4) και (5).
Παίρνουμε όλα τα υποσύνολα μεγέθους

καθώς επίσης και όλα τα υποσύνολα μεγέθους

τα οποία περιέχουν το στοιχείο

. Η (5) προφανώς ικανοποιείται από για κάθε στοιχείο

επέλεξα και το υποσύνολο

που δεν περιέχει το

. Η (4) ικανοποιείται αφού για κάθε δυο υποσύνολα

που επέλεξα, είτε θα έχω

που δίνει απευθείας

, είτε θα έχω

οπότε και θα έχω

. Τέλος επέλεξα συνολικά

υποσύνολα όπως ήθελα.