theorem Th14: :: HENMODEL:14

for Al being QC-alphabet
for k being Nat
for ll being CQC-variable_list of k,Al holds (valH Al) *' ll = ll