theorem :: CONNSP_3:18

for GX being non empty TopSpace
for A, B being Subset of GX st A is a_component & B is connected & B <> {} & A misses B holds
A misses Component_of B