Cauchy_integral_theorem loading ...