for A being QC-alphabet holds Fixed (FALSUM A) = {}