Compact Space is Lindelöf

Theorem
Every compact space is Lindelöf.

Proof
We have:
 * Compact Space is Sigma-Compact
 * Sigma-Compact Space is Lindelöf

Hence the result.