The Four Color Theorem is a pretty little conjecture that has been intriguing mathematicians for more than a century. Too bad the proof stands as an example of really ugly mathematics.