for A being QC-alphabet holds |- TAUT A