Proof. [04AH]
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.
Without loss of generality . Let be any first order deformation. By the maximality of , we can choose real numbers , such that the first order deformation vanishes at zero, so for some first order deformation which is nonzero at the origin. Finite dimensionality means this process can be repeated for only a finite number of times:
We choose the smallest such that are -linearly dependent as vector fields; notice are linearly independent, so . We then get a linear relation
where are polynomials, and . This implies the claim. ∎