Cauchy's theorem