. Για κάθε υποσύνολο
του
ορίζουμε
Υποθέτουμε ότι η συνάρτηση
παίρνει τουλάχιστον
διαφορετικές τιμές όταν το
διατρέχει όλα τα
υποσύνολα του
. Να αποδειχθεί ότι το πλήθος των υποσυνόλων
του
για τα οποία ισχύει ότι
δεν υπερβαίνει το
.