 Mumford rigidity lemma

One form of Mumford's rigidity lemma says that if $X$ is complete, $Y$ is connected, and a morphism $f:X\times Y\to Z$ maps one fiber $X\times \{y_0\}$ to a point, then $f$ factors through the projection to $Y$ under the usual pointed hypotheses.