证明
Lemma 41 ([Kummer detection, including CM]). Let C act on T=T_2E as complex…Lemma 42 ([Explicit weighted theta construction]). For ℓ as in Lemma 41…观点
Gross--Zagier identifies the height of the genus sum with the product derivative . Since L(E^ (h_*) ,1)≠0 , vanishing of the derivative makes P_D torsion, and a nontorsion P_D is equivalent to a simple zero of E^ (D) . The genus sum lies in a biquadratic field, so a fixed integer kills all possible torsion: reduce prime-to-residue-characteristic torsion at two fixed good primes of different residue characteristic; the residue degrees are at most four. Include that integer in L . On the free twist line, divisibility by 2^ j(P_D) remains divisibility after the integral maps of reduction and λ_M . Restriction and the two quadratic projections have composite multiplication by 2 , so their integral indices have a fixed bound. Equation therefore proves both valuation assertions, with fixed losses only. Lemma 41 ([Kummer detection, including CM]) gives the witness.