theorem :: NORMSP_2:10

for X being non empty Hausdorff TopSpace st X is locally-compact holds
X is Baire