theorem Th6: :: QC_TRANS:6

for Al being QC-alphabet
for k being Nat
for P being QC-pred_symbol of k,Al
for Al2 being b₁ -expanding QC-alphabet holds P is QC-pred_symbol of k,Al2