  Let $K$ be the function field of a smooth curve over an algebraically closed
field $k$. Let $X$ be a scheme, which is smooth and projective over $K$.
Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm
Zar}(X)(K)\cap X)$ be the Zariski closure of the set of all $K$-rational points
of $X$, endowed with its reduced induced structure. We prove that there is a
projective variety $X_0$ over $k$ and a finite and surjective $K^{\rm
sep}$-morphism $X_{0,K^{\rm sep}}\to R_{K^{\rm sep}}$, which is birational when
${\rm char}(K)=0$.
