 Solution

The simple zero assumption gives the local factorizationwhere $k$ is holomorphic. In a small disc $k$ stays nonzero, so $q=g/k$ is holomorphic there. Expanding $q$ to first order,The residue is thereforeIf $g(a)=0$, the quotient has a removable singularity rather than a simple pole, and the same formula correctly gives zero. This is the residue formula for a quotient at a simple denominator zero.