Map color theorem