فرض کنید گراف دو بخشی نباشه . حالا ثابت می کنیم یه راس با درجه حداکثر فلان !!! وجود داره .
چون دو بخشی نیست دور فرد داره و چون مثلث نداره کوچکترین دور فرد حداقل 5 تا راس داره . حالا چون این کوچکترین دور فرد هست و گراف مثلث نداره پس هر راسه خارج این دور به حداکثر 2 تا از رئوس دور وصله .
پس مجموع درجات رئوس دور حداکثر 2n هست و طبق لانه راسی با درجه حداکثر 2n/5 داریم .... تمام :1: