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