 Weyl’s Length Connection: A point \(p\) is length connected with its infinitesimal neighborhood, if and only if for every length at \(p\), there is determined at every point \(q\) infinitesimally close to \(p\) a length to which the length at \(p\) gives rise when it is congruently displaced from \(p\) to \(q\).