グラフGには2つの異なる閉路が存在していて、そのどちらの閉路も辺aを含むとする。
また一方の閉路は辺bを含むが他方の閉路は辺bを含まないとする。
このとき、グラフGから辺bを除去したグラフG'には閉路が存在することを証明せよ。