Berge theorem theorem Tutte theorem theorem Red edges represent , blue edges represent The final matching M is as follows in red: Hall theorem theorem