theorem Th22: :: QC_LANG1:22

for A being QC-alphabet
for t being QC-symbol of A holds t <= t