دانش آموز در یک کلاس آرمانی تحصیل می کنند. از هر دانش آموز دلخواه حداقل نفر هستند که دو به دو با هم دوستند. (دوستی متقارن است ولی الزاما خاصیت تعدی ندارد). ثابت کنید دانش آموز هستند که دو به دو با هم دوستند.
