for A being QC-alphabet holds Subformulae (VERUM A) = {(VERUM A)}