Category:Compact Hausdorff Space is Locally Compact