theorem Th21: :: CIRCCMB3:21

for S being one-gate ManySortedSign
for A being one-gate Circuit of S
for s being State of A holds stabilization-time s <= 1