Proof that there are exactly five is an interesting exercise. This is related to graph theory and the Euler characteristic.