Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Proof. Obviously, connection
does not change under the transformation
. The transformation
together with
the gauge transformation of
by also preserves . This proves the Lemma.