17 tudós mindegyike levelezést folytat az összes többivel. Összesen háromféle témáról leveleznek, de bármelyik pár mindig csak ugyanarról az egy témáról. Bizonyítsuk be, hogy van közöttük legalább három olyan tudós, akik közül bármely kettő azonos témáról levelez egymással.