Let be a non-constant rational function. Then for any , the size of the fiber at doesn't 1;;depend on our choice of (when counted with multiplicity).
In particular, we need only show that the number of zeros of is equal to 1;; the number of poles. To do this, the key part of our function being rational is that we may apply a transformation of the form and still get a rational function, so that we can assume .