theorem Th32: :: FINTOPO6:33

for FT being non empty RelStr
for A, B, C being Subset of FT st FT is filled & A is connected & A c= B \/ C & B,C are_separated & not A c= B holds
A c= C