consider T being non empty Hausdorff TopSpace;
take T ; :: thesis: T is sober
thus T is sober ; :: thesis: verum