Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
For sufficiently small, there is a constant which goes to zero as tends to zero, such that for any smooth map with , there is an isometry of such that .