# Corollary 11.13 in Harris' Algebraic Geometry, a first course

I'm confused about corollary 11.13 (see e.g. google books) in the afforementioned book, namely its second half (the dimension formula). If we take $X$ to be the disjoint union of a point and a line, $\pi$ any constant map on $X$, wouldn't $X_0=point$ give a counterexample?

The statement reads: Let $X$ be a projective variety and $\pi:X \rightarrow P^n$ any regular map; let $Y$ be its image. For any $q\in Y$, define $\lambda(q)= dim (\pi^{-1}(q))$. Then $\lambda$ is an upper semicontinuous function of $q$.

Moreover, if $X_0 \subset X$ is any irreducible component, $Y_0$ its image under $\pi$, and $\lambda$ the minimal value of $\lambda(q)$ on $Y_0$, we have $$dim(X_0)=dim(Y_0)+\lambda$$

-
could you reproduce the statement your think is refuted by your example? google books doesn't show the second half of the corollary to me. – Dima Sustretov Aug 7 '12 at 12:51
yes, $\lambda$ should be taken to be the minimum of $\dim(\pi^{-1}(q) \cap X_0)$ on $Y_0$ for the equality to hold. – Dima Sustretov Aug 7 '12 at 14:41