(n) four-color theorem (colour) (theorem stating that any map can be colored such that no two adjacent segments have the same color, if only four colors are used)