離散数学で「グラフGが二部グラフであるとき、閉路はすべて偶数長である。」
という定理の逆、すなわち、グラフGのすべての閉路が偶数長ならばGは二部グラフであるという証明はどのようにとけばいいのでしょうか？