  Weyl called such a gauge at \(p\) a geodesic gauge at   \(p\).[47]  Weyl’s proof of the following theorem closely parallels the proof of  theorem A.3 in   the supplement on Weyl’s metric independent construction of the affine connection. 