theorem Th3: :: GOEDCPUC:3

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