theorem Th47: :: CIRCCOMB:47

for S1, S2 being non empty unsplit gate`1=arity ManySortedSign holds S1 tolerates S2