#định lý năm màu

Định lý bốn màu: khi máy tính lần đầu chứng minh một định lý lớn

Định lý bốn màu nói rằng mọi bản đồ phẳng đều tô được bằng bốn màu sao cho hai vùng chung biên không cùng màu. Năm một nghìn chín trăm bảy mươi sáu, Appel và Ha