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