כמה אנשים צריך במסיבה כדי להבטיח שלושה שמכירים זה את זה, או שלושה זרים גמורים?

ההוכחה המתמטית קובעת שישה אנשים בדיוק, לא פחות: לא משנה איך יחסי ההיכרות מתחלקים, התוצאה מובטחת.