解説すると四色問題はパソコンで総当たりで証明されたからそれを美しくないって言ってるやで