(4) ([25%]) Prove that if S is a regular surface that is diffeomorphic to a cylinder and has Gaussian curvature K< O, then S has at most one simple closed geodesic (up to reparametrization).