افراز به جنگل

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