Cauchy-Goursat theorem