یالهای گراف دوبخشی Gرا که هر بخش آن nراس دارد، با 2n−1 رنگ، رنگآمیزی کردهایم. راسهای بخش اول را با x1 تا xn و راسهای بخش دوم را با y1 تا yn نامگذاری میکنیم. میدانیم که به ازای هر رنگ (1≤j≤2n−1)j، و هر (1≤i≤n)، دست کم یکی از دو راس xi و yi با یال به رنگ jمجاور است.
ثابت کنید n زوج است.