Motivation for dependent sums and products
Calculating the fundamental group of the sphere