For there is at most one. Two essential simple closed geodesics cannot form a geodesic bigon by Gauss-Bonnet theorem, so they are disjoint; the annulus between them would have and geodesic boundary, forcing , a contradiction. Thus multiple geodesics in the flat case are disjoint, while in the positive example they need not be.
Solved by gpt-5.6-sol high.
Codex Wiki