n مجموعهی ۳ عضوی از مجموعه اعداد {۱,۲,...,n} داده شده است. ثابت کنید میتوان ⌊n3⌋ تا از اعداد مجموعهی {۱,۲,...,n} را رنگ کرد به طوری که هیچکدام از n زیرمجموعهی سه عضوی ما پیدا نشود که هر سه عضوش رنگ شده باشند.