The five color theorem , which has a short elementary proof , states that five colors suffice to color a map and was proven in the late 19th century ( Heawood 1890 ) ; however , proving that four colors suffice turned out to be significantly harder .
( Heawood 1890 ) Proving that four colors suffice turned out to be significantly more difficult .