دانشنامهی المپیاد کامپیوتر ایران
فرض کنید X یک مجموعهی n عضوی باشد و A1,⋯,An زیرمجموعههایی از X با میانگین اندازهی nw باشند. ثابت کنید اگر n≥2w2 باشد، i≠j وجود دارد که: |Ai∩Aj|≥n2w2