completion of metric space proof proofwiki.org Category:math Global Rank:181,681 visits:347.4K pages/Per:1.8 ADS