四色定理を証明するには根性でひとつひとつ可能性を潰していくしかない