Định lý năm màu (còn gọi là định lý bản đồ năm màu): Mọi đồ thị phẳng (G) đều có số màu
γ
(
G
)
≤
5
{\displaystyle \gamma (G)\leq 5\,}
. Là một kết quả từ Lý thuyết đồ thị, cụ thể là mọi bản đồ đều có thể tô bằng năm màu sao cho hai nước nằm kề nhau phải được tô bằng hai màu khác nhau.
Mặc dù đây là định lý yếu hơn định lý bốn màu, nhưng cách chứng minh này cũng đóng vai trò quan trọng bởi vì đây là cơ sở bước đầu để thiết lập cách chứng minh trọn vẹn cho định lý bốn màu mà phải kiểm tra bằng chương trình máy tính.