میگوییم مجموعه A توسّط رنگآمیزی c، مختلف رنگ شدهاست اگر |c(A)|=|A|؛ بهعبارت دیگر برای هر x≠y∈A داشته باشیم c(x)≠c(y).
فرض کنید F یک خانوادهی r-منتظم از مجموعههایی از نقاط باشد. ثابت کنید یک رنگآمیزی برای نقاط وجود دارد که حداقل ((r−1)!rr−1)|F| از مجموعههای موجود در F را بهطور مختلف رنگ میکند.