Question 117
Each face of a dodecahedral planet (see picture) is a country. In particular, there are 12 countries and each country is a regular pentagon. For any coloring of the countries in red, green, blue and yellow such that no two countries sharing a border have the same color, show that all colors are used the same number of times.

