More strongly, there necessarily exist three simple closed geodesics whose length is at most proportional to the diameter of the surface.
Більш того, обов'язково існують три прості замкнені геодезичні, довжина яких найбільш пропорційна діаметру поверхні.