for T being non empty Hausdorff TopSpace holds T is sober