Proof: [03VR]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof: By Lemma 1 from Section 4.1 we know that as any invertible function can be written in form for some nonzero and a multi-index . Vectors form a basis of , as follows from the condition that form a coordinate system. Therefore, after applying the change of coordinates preserving form up to sign, we may assume that . The Jacobian matrix of the transformation is the identity matrix plus terms of size . Therefore its determinant has norm equal to 1.