Proof. [04PV]
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.
The morphism is the blow-up of the 24 exceptional curves of . In particular, the exceptional divisor is the preimage in of a curve contained in ; it follows that and , where are local equations for on . The Berkovich retraction is linear on and hence depends only on the image of , which is determined by and . Thus we conclude that and we have the result. β