فرض کنید $G$ یک گراف دوبخشی با افراز مضاعف $X$ و $Y$ است. ثابت کنید که ماکسیمم اندازه یک تطابق در $G$ برابر است با: \[ |X| - Max_{S\subseteq X}\Big\{|S|-|N(S)|\Big\} \]