take [#] T ; :: thesis: ( not [#] T is empty & [#] T is open & [#] T is closed & [#] T is connected )
thus ( not [#] T is empty & [#] T is open & [#] T is closed & [#] T is connected ) by CONNSP_1:27; :: thesis: verum