for A being QC-alphabet holds Free (FALSUM A) = {} by Th40;