Uvažujme všechny rozdělení hran grafu G na k částí. k-chromatické číslo grafu G je maximum ze součtů barevností těchto částí. Odvozujeme horní mez na k-chromatické číslo grafu na ploše rodu g, zobecňující Heawoodův vzorec.
Tato horní mez zlepšuje dříve známé výsledky a je těsná pro nekonečně mnoho hodnot g.