Minimizing properties of geodesics (continuation): existence of totally normal neighborhoods and its consequences.

Geodesically complete Riemannian manifolds. Examples. The Riemannian distance function (again). Hopf-Rinow theorem.