theorem Th32: :: BORSUK_5:33

for T being connected TopSpace
for A being open closed Subset of T holds
( A = {} or A = [#] T )