独立数2のグラフに対するシーモア・ウッドールの予想の証明

独立数が2以下のグラフは、そのグラフの彩色数と同数の頂点を持つ完全二部グラフをマイナーとして含むという、シーモア・ウッドールの予想が正しいことが証明された。