It states that any planar map (that is to say, a flat one) can be coloured with at most four colours in a way that no two regions with the same colour share a border.

ECONOMIST: Just what does it mean to prove something?