theorem Th5: :: QC_TRANS:5
for Al being QC-alphabet
for Al2 being b1 -expanding QC-alphabet
for k being Nat
for l being CQC-variable_list of k,Al holds l is CQC-variable_list of k,Al2