In the case that X,Y are projective, nonsingular curves and φ is nonconstant, we already know that φ is necessarily surjective, but we will prove (more accurately, sketch a proof of) a much stronger result. From now on, for convenience, when we speak of the local ring of a nonsingular curve as being a discrete valuation ring, we assume that the valuation is normalized so that there is an elemen...