theorem Th8: :: QC_LANG3:8

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