theorem Th14: :: CONNSP_3:14

for GX being non empty TopSpace
for A, B being Subset of GX st A is connected & A \/ B is connected & A <> {} holds
A \/ B c= Component_of A