theorem :: QC_LANG3:66

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