The four color proof suffices, The Mathematical Intelligencer 8 (1986)

by K Appel, W Haken