exercise: Cauchy completion of a metric space