Lemma 6 [03X1]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 6
With the above choice of assume that the metric satisfies for any the condition
where is the unit tangent vector to and is the normal vector to (all scalar products and lengths are taken with respect to the metric ).
Then there exists such that
for all .