دانشنامهی المپیاد کامپیوتر ایران
فرض کنید A مجموعهای n عضوی و بین اعداد طبیعی k،b،r و n روابط زیر برقرار است:
b \leq \binom{n}{k} \quad , \quad bk=nr
ثابت کنید میتوانیم b زیرمجموعهی k عضوی متفاوت از A پیدا کنیم که هر عضو A دقیقا در r تا از آنها ظاهر شده باشد.