I've been thinking... since the four-colour theorem is referring to planar graphs, which are
just triangulations of 2-spheres, then it should should be possible to state an n-dimensional variant of the four-colour theorem using triangulations of n-spheres. I wonder then, if it's possible to, for any dimension number
n
, find a lowerbound for the numbers of colours
c
required for colouring an
n
-sphere.