cauchy first theorem on limits