Argument Principle
Suppose is meromorphic on
Let be simply positively oriented contour such that and it’s inside is contained inAssume has no zeroes or poles on
Let is the number of zeros (counted with multiplicity) of inside
Let be the number of poles (counted with multiplicity) of inside thenMoreover it is also the winding number of path about the origin
Proof
Curve is simple so winding number around any point inside is
By Residue of the logarithmic derivative then
has simple poles at zeros and poles of with residues given by their order
So result follows from Residue TheoremFor the last part then