theorem Th19: :: FTACELL2:19

for n being Nat
for ap, bm, cp being nonpair-yielding FinSequence
for s being State of (n -BitFTA1Layer1Circ (ap,bm,cp)) holds Following (s,2) is stable