theorem Th4: :: GOEDCPUC:4

for Al being QC-alphabet
for k being Nat
for S being FCEx-Sequence of Al,k holds S . (k + 1) is b₁ -expanding QC-alphabet