Hi, I have a question regarding corollary 2.3. in the uploaded image. it looks very trivial to me becauese Cauchy's theorem states "if f(z) is holomorphic, its closed loop integral will be always 0". Is this what the author is trying to say? whats the necesseity of the larger disk D' at here? Why do we use D'?