Complex analysis: Cauchy's theorem