Proof. [04WG]
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.
It is easy to see that (1) holds, since we can detect regularity by looking at the dimensions of the Zariski tangent spaces at the points of
Moreover, the special fibers of and are isomorphic so that is a divisor with strict normal crossings. Point (2) is more subtle and follows from [Ki03, 2.6(2)]. ∎