یک مدرسه، سه تالار اجتماع A، B و C دارد. یک روز، همهی دانشآموزان در تالار A جمع شدند و معلوم شد هر دانشآموز لااقل s+t نفر را میشناسد. بعد از این، تعدادی از دانشآموزان به تالار B و تعدادی به تالار C رفتند. میدانیم که در تالار B هر نفر لااقل s نفر را در همان تالار میشناسد و در تالار C نیز هر نفر حداقل t نفر را در همان تالار میشناسد. ثابت کنید افرادی که در تالار A ماندهاند را میتوان به گونهای بین دو تالار B و C تقسیم کرد، به طوری که بعد از تقسیم باز هم هر نفر در تالار B لااقل s نفر از افراد همان تالار و هر نفر در تالار C لااقل t نفر از افراد همان تالار را بشناسد (فرض کنید آشنایی یک رابطهی دو طرفه است، یعنی اگر a شخص b را بشناسد b نیز a را میشناسد).