Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
A theorem of Grotzsch from 1959 asserts that every planar graph not containing a triangle is 3-colorable. This was reproved by Thomassen in "A short list color proof of Grotzsch’s theorem", J. Combin. Theory B, vol 88 (2003), 189–192.
