consider t being Element of T;
reconsider E = {t} as Subset of T ;
take E ; :: thesis: ( not E is empty & E is compact & E is connected )
thus ( not E is empty & E is compact & E is connected ) by CONNSP_1:29; :: thesis: verum