Four-color theorem