「四色定理」として有名な定理です。東野圭吾がお好きな方は「容疑者Xの献身」で登場した定理でお馴染みですね。証明はされていますがコンピューターを駆使したエレガントとは程遠い証明だったため(揶揄してエレファントと言われている)美しい証明を追い求めていたのが容疑者Xこと石神だったのです。ちなみに携帯電話の基地局は同じ周波数が隣合わないように四色定理を基にエリア配置されています。