Έστω μία ανοιχτή κάλυψη του . Δηλαδή . Υπάρχει τέτοιο ώστε . Το είναι ανοιχτό, άρα το είναι εσωτερικό σημείο του: υπάρχει ώστε .
Η ακολουθία συγκλίνει στο άρα υπάρχει ώστε για κάθε να ισχύει . Άρα
Άσκηση 4 Υπόδειξη