Hay $60$ ciudades en $Graphland$, donde cada par de ciudades están conectadas por un camino dirigido. Demuestra que podemos colorear cuatro ciudades de rojo y cuatro ciudades de verde, tal que cada camino entre las ciudades verdes y rojas estén dirigidas de rojo a verde.