¿Cuántos colores, como mínimo, hacen falta para colorear el mapamundi?