G یک گراف سادهی بیجهت است.
χs(G) را این گونه تعریف میکنیم: کمترین تعداد رنگی که با آن بتوان G را رنگآمیزی معتبر کرد، به صورتی که هیچ مسیر ۴-راسی دو رنگی در G نباشد.
a(G) را اینگونه تعریف میکنیم: کمترین تعداد رنگی که با آن بتوان G را رنگآمیزی معتبر کرد، به صورتی که هیچ دور دو رنگی در G نباشد.
اثبات کنید: a(G)≤χs(G)≤a(G)×2a(G)−1