theorem :: QC_LANG3:56

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