  Given a smooth morphism $Y\to S$ and a proper morphism $P\to S$ of algebraic
varieties we give a sufficient condition for extending an $S$-morphism $U\to
P$, where $U$ is an open subset of $Y$, to an $S$-morphism $Y\to P$, analogous
to Zariski's main theorem.
