theorem :: WAYBEL25:38

for T being injective T_0-TopSpace holds
( T is compact & T is locally-compact & T is sober )