The shortest known proof of the four colour theorem today still has over 600 cases.
Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.