Hadwiger's theorem (source code)

= Hadwiger's theorem
{wiki=Hadwiger's_theorem}

Hadwiger's theorem is a fundamental result in graph theory, which relates to the colorability of graphs.