Cauchy lemmas