Ken Appel and Wolfang Haken showed the four color conjecture was true using 1200 hours of computer time to examine 1500 configurations. The theorem states that any map in a plane can be colored using four colors in such a way that regions sharing a common boundary (other than a single point) do not share he same color