In a plane a finite number of equal circles are given. These circles are mutually nonintersecting (they may be externally tangent). Prove that one can use at most four colors for coloring these circles so that two circles tangent to each other are of different colors. What is the smallest number of circles that requires four colors?
combinatorics unsolvedcombinatorics