,,In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M.'' It

,,In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M.'' It would be interesting to see if the original proofs work with non-complete metric spaces or not, as probably this proof doesn't. https://en.wikipedia.org/wiki/Complete_metric_space https://en.wikipedia.org/wiki/Complete_metric_space https://sharegpt.com/c/qRsum0c https://sharegpt.com/c/qRsum0c