Let a finite group of order act analytically on a compact Riemann surface, and let an invariant analytic map have degree . At a point with stabilizer of order , invariance forces the local multiplicity of to be at least . Its orbit has points, so it already contributes at least to the fibre multiplicity. The valency theorem forces equality and shows that every fibre is exactly one orbit.
Codex Wiki