Hello, I don't understand why my contribution has been removed. In the page on Grötzsch's theorem it is stated clearly (my own contribution) that a planar graph not containing K_4 and still not 4-colorable exists. Since an example (not found by me) is available, namely http://math.asu.edu/~checkman/steinberg5cycle.jpg, i do not understand what exactly is disputable here.