Proof. [04AF]
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.
If vanishes at any boundary point on , or if vanishes at beyond minimal order, then (resp. ) is also a first order deformation with the same boundary condition, subject to the growth constraints at infinity. Since the kernel dimension is finite, the divisions can only happen a finite number of times, producing the polynomial . ∎