כמה צבעים צריך כדי לצבוע כל מפה בעולם?

משפט ותיק קבע שארבעה צבעים תמיד מספיקים כדי שאזורים שכנים לא יקבלו אותו צבע, וההוכחה הראשונה נזקקה למחשב.