Grötzsch′s 3-Color Theorem and Its Counterparts for the Torus and the Projective Plane

We prove that every graph on the torus without triangles or quadrilaterals is 3-colorable. This settles a question raised in 1972 by Kronk and White.