Egy kilenctagú társaságban bármely három ember között van olyan kettő, akik ismerik egymást. Bizonyítsuk be, hogy ekkor van közöttük 5 olyan ember, hogy mindegyiküknek legalább 4 ismerőse van a társaságban.