komşu 2 ülke aynı renge boyanmamak koşuluyla, herhangi bir haritanın sadece 4 renk kullanılarak boyanabileceğini söyleyen teorem.
bunun olası olduğuna ilişkin iddia 19. yüzyılın sonlarında ortaya atılmıştı, ama doğruluğu ancak 1970'li yıllarda bilgisayar yardımıyla ispatlanabildi.
bazı matematikçiler, kanıtın bir insandan değil bilgisayardan gelmesini "kabul edilemez" bulduğundan, bu ispat çok da fazla hoşlarına gitmedi ne yazık ki.
