Proof. [01F2]
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.
Note first that and are normal by [EGA, IV.6.5.4]. Since direct images commute with flat base change we have , which implies that has connected fibers as a consequence of the theorem on formal functions (cf. [EGA, III.4.3.2]). Since is connected and is closed, surjective and has connected fibers, it follows that is connected, hence irreducible since it is normal. ∎