theorem Th26: :: CQC_SIM1:26

for A being QC-alphabet
for k being Nat
for ll being CQC-variable_list of k,A
for P being QC-pred_symbol of k,A holds SepVar (P ! ll) = P ! ll