Suppose that we have two closed linked curves in 3-space,
and the distance between them is 1. Prove that the length of
each curve is at least 2pi.