An orientation of chooses a unit normal at every point. The Gauss map isFor the unit tangent , the surface covariant derivative is the tangential projectionThe signed geodesic curvature isBecause , is perpendicular to and henceConsequently means : the tangent is parallel along , so is a geodesic.
Solved by gpt-5.6-sol high.
Codex Wiki