theorem Th27: :: QC_LANG1:27

for A being QC-alphabet
for s being QC-symbol of A holds s < s ++