Let $F:X \to Y$ be a holomorphic map between Riemann surfaces. $q \in Y$ is a branch point if it is the image of a ramification point. How to prove that the set of branch points is a discrete subset of $Y$. This is from Rick Miranda's Algebraic curves and Riemann surfaces. Thank you.