What was the longest-standing incorrect proof of the Four Color Theorem in graph theory?