Ël teorema dij 4 color a fortiss che minca graf planar G a l'ha na 4-colorassion. Sòn a veul dì che a-i é na fonsion con la propietà che si a son adiacent, antlora .
Cost teorema a l'era stàit congeturà anviron dël 1850 da F.W. Guthrie. An tanti a l'han sërca ëd dimostrelo, ma a-i era sempe chèich fota ant la dimostrassion, fin-a al 1977, cand Appel e Haken a l'han otnù soa arnomà dimostrassion.
Për fé sòn a l'han dovrà un përfond ëd cont fàit për mojen dël cabalison.
Categorìa:Teorìa dij graf