theorem Th20: :: CIRCCMB3:20

for S being one-gate ManySortedSign
for A being one-gate Circuit of S
for s being State of A holds Result s = Following s