We claimed in the chapter that the horizontal projection P to the unit sphere from the vertical cylinder enclosing it was an area-preserving map. Compute the derivative of this map at a point (x, y, 0) of the cylinder, and verify that it is area-preserving. Why is it sufficient to carry out this computation at a point where z = 0?