Q73 Matemática  (IMO Longlists 1979)

Em um plano é dado um número finito de círculos iguais. Esses círculos não se interceptam mutuamente (podem ser tangentes externamente). Prove que se pode usar no máximo quatro cores para colorir esses círculos de modo que dois círculos tangentes um ao outro sejam de cores diferentes. Qual é o menor número de círculos que requer quatro cores?