four color theorem

Proper noun

 * 1)  A theorem stating that given any separation of a plane into contiguous regions, producing a figure called a, no more than four colors are required to color the regions so that no two adjacent regions have the same color ( being defined as two regions sharing a boundary, not counting corners, in which three or more regions share a boundary).