theorem Th50: :: CIRCCOMB:50

for S1, S2 being non empty gate`1=arity ManySortedSign holds S1 +* S2 is gate`1=arity