すべてのプランナーグラフのクロマテイックポリノミナルは4を解に持つ