theorem that, for a proper surjective morphism of varieties such that the function field of the codomain is separably closed in that of the domain, the preimage of any normal point is connected