Completeness of Metric Space, Completeness Proofs