The four color theorem, or the four color map theorem, states that given any separation of the plane into contiguous regions, called a "map", the regions can be colored using at most four colors so that no two adjacent regions have the same color.