Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 4 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Lemma 2
Let ( z i ) i = 1 , … , n , ( z i ′ ) i = 1 , … , n (z_{i})_{i=1,\dots,n},\,\,(z^{\prime}_{i})_{i=1,\dots,n} be two systems of invertible coordinates
on π − 1 ( U ) \pi^{-1}(U) for some connected open U ⊂ B s m U\subset B^{sm} . Then
| ( ⋀ 1 ≤ i ≤ n ( d z i / z i ) ) / ( ⋀ 1 ≤ i ≤ n ( d z i ′ / z i ′ ) ) | x = 1 ∀ x ∈ π − 1 ( U ) . \left|\left({\textstyle\bigwedge_{1\leq i\leq n}(dz_{i}/z_{i})}\right)/\left({\textstyle\bigwedge_{1\leq i\leq n}(dz^{\prime}_{i}/z^{\prime}_{i})}\right)\right|_{x}=1\,\,\,\forall x\in\pi^{-1}(U)\,\,.