This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Todo: add a list of other "significant" results proved by discharging.
These could include: Borodin's proof that every planar graph with minimum
degree 5 contains a triangle with degree sum at most 17 and Borodin's proof
that every planar graph with maximum degree at least 12 has edge-list chromatic
number equal to maximum degree. Ptrillian06:50, 2 January 2007 (UTC)[reply]