 Theorem 4.1: If for every point \(p\) in a  neighborhood \(U\) of \(M\), there exists a choice of gauge  such that the change in an arbitrary length at \(p\) under  congruent displacement to an infinitesimally near point \(q\) is  given by 