Heawoodin lause
Heawoodin lause on graafiteoriaan liittyvä lause, jonka mukaan jokainen tasograafi on väritettävissä viidellä värillä. On myös todistettavissa, että tasograafit ovat väritettävissä enintään viidellä värillä. Kyseinen todistus on heikompi kuin neliväriongelman todistus ja perustuukin epäonnistuneeseen neliväriongelman todistusyritykseen.
