آهان...
اون ایدرو هم دیدم. هر مجموعه از افراد رو یه نقطه و فاصله ی دو نقطه رو تعداد اعضاشون منهای تعداد اعضای اشتراکشون در نظر میگیریم. حالا برهان خلف میزنیم و بعد میگیم که اگه به مرکز این 16000 نقطه، 16000 تا دایره رسم میکنیم و بعد از این استفاده میکنیم که اگه یه نقطه بیرون یه دایره باشه اونوقت حداقل 4 تا اشتراک دارن.