theorem :: WAYBEL12:44

for T being non empty TopSpace st T is sober & T is locally-compact holds
T is Baire