Bizonyítandó, hogy tetszőleges $G$ egyszerű gráf pontjai két diszjunkt részre oszthatók úgy, hogy a két rész között futó éleket elhagyva egy olyan $G\text{'}$ gráfot kapunk, amelynek minden csúcsából páros sok él indul ki.