theorem Th49: :: CIRCCOMB:49

for S1, S2 being non empty unsplit ManySortedSign holds S1 +* S2 is unsplit