Cauchy's First theorem on limits