برای هر راس از دسته بالا به اندازه عدد اون راس , راس های مجازی در نظر بگیر (یعنی اگه راس v روش عدد t نوشته شده بود , v رو حذف کن و t تا راس به جاش بذار که همسایه هاشون همون همسایه های v هستن ) , حالا دقیقا مسئله مون همون مسئله هال می شه (توی یه گراف دو بخشی باید یه تطابق پیدا کنیم که دسته بالا رو بپوشونه که شرط لازم و کافی اش همون شرط هاله)