Proof
Letbe a topological space and let
be the family of components of
is an open cover of
Sinceis compact, a finite subcover
exists.
On the other hand, sincis the family of components, for
we have
Hence nocan be omitted from
to leave an open cover of
Henceare all the components of