Well well. Now look whose dated!:
http://mathworld.wolfram.com/Four-ColorTheorem.html
And the proof is here:
Appel, K. and Haken, W. "Every Planar Map is Four-Colorable, II: Reducibility." Illinois J. Math. 21, 491-567, 1977.
And I'm not tywebb! And you owe me $50! Ha! Ha!