[net.ai] id AA21202; Sat, 11 Feb 84 11:32:36

segre@uicsl.UUCP (02/15/84)

#R:cornell:-618600:uicsl:15500026:000:202
uicsl!segre    Feb 14 08:56:00 1984

I was unaware any shorter proof of the Four Color Theorem had been found.

As far as I know, the only proof of this theorem is the Appel and Haken
computer-proof.


Alberto Segre
...uiucdcs!uicsl!segre