let X be non empty Hausdorff TopSpace; :: thesis: ( X is locally-compact implies X is Baire )
assume X is locally-compact ; :: thesis: X is Baire
then ( X is sober & X is locally-compact ) by YELLOW_8:22;
hence X is Baire by WAYBEL12:44; :: thesis: verum