Proof
Letbe a topological space and letbe the family of components ofis an open cover of
Sinceis compact, a finite subcoverexists.
On the other hand, sincis the family of components, forwe have
Hence nocan be omitted fromto leave an open cover of
Henceare all the components of