四色定理が正しいことを証明しました。
１９７６年７月から２００７年１１月まで掛かりました。