به این شیوه رنگ میکنیم:ابتدا رنگها را شماره گذاری میکنیم, ,اگر عددی بر p بخشپذیر نباشد به پیمانه p میبریم وشماره رنگش را عدد باقیمانده اش انتخاب میکنیم.
اگر بر p بخشپذیر باشد ابتدا ان عدد را بر بزرگترین توان عامل p تقسیم میکنیم بعد پیمانه p و...
حال حکم را ثابت میکنیم:اگر برای مجموعه در مسئله...