하우스도르프 공간
Every locally compact Hausdorff space is a Baire space.