Cauchy–Goursat theorem