Σε ένα συνέδριο συμμετέχουν κάποιοι μαθηματικοί. Ονομάζουμε ένα μαθηματικό

-ευχαριστημένο αν στο ίδιο δωμάτιο με αυτόν υπάρχουν τουλάχιστον

άτομα τα οποία θαυμάζει ή τουλάχιστον

άτομα τα οποία τον θαυμάζουν. Αν μαζευτούν όλοι οι μαθηματικοί στο ίδιο δωμάτιο, γνωρίζουμε ότι κάθε ένας από αυτούς είναι

-ευχαριστημένος. Να δειχθεί ότι μπορούμε να χωρίσουμε τους μαθηματικούς σε δύο μη κενά δωμάτια ώστε κάθε ένας να είναι

-ευχαριστημένος. [Ο θαυμασμός δεν είναι αναγκαία αμοιβαίος. Επίσης κανένας μαθηματικός δεν θαυμάζει τον εαυτό του.]