>>172
四色問題は力技での証明だろ?