Beweis des Satzes, dass ein metrisierbarer Raum dann und nur dann kompakt ist, wenn er in jeder Metrik vollständig ist V. Niemytzki; A. Tychonoff — 1928 Fundamenta Mathematicae