Proof. [01DU]
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.
Let be -proper curve in and let be its closure in . Since is flat over , the degree of on the generic fiber and on the special fiber concide, which reads . Now is an effective linear combination of vertical curves, and the result follows. โ