ثابت کنید یال‌های یک گراف $k$-منتظم $G$ را می‌توان به $k$ دسته افراز کرد به طوری‌که‌یال‌های هیچ دسته‌ای دور نداشته باشند.