theorem Th19: :: CIRCCMB3:19

for S being one-gate ManySortedSign
for A being one-gate Circuit of S
for s being State of A holds Following s is stable