Write an essay on the vertex-colouring of graphs drawn on compact surfaces other than the sphere. You should include a proof of Heawood's bound, and an example of a surface for which this bound is not attained.