theorem Th43: :: CIRCCOMB:43

for f being set
for p, q being FinSequence holds 1GateCircStr (p,f) tolerates 1GateCircStr (q,f)