Proof. [023B]
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.
First note that if solves the equation, then so does for any constant . Thus, we may reduce to the initial condition below. The initial condition specifies a sign choice of the square root, whence
and the Lemma is reduced to Prop. 5.3. ∎