四色定理の頃のエレファントな証明とはまた違うんだろうが、宇宙際タイヒミュラー理論が証明ツールに肯定されても否定されても、面倒なことになりそうだなぁ