theorem :: CQC_THE2:87

for A being QC-alphabet
for p being Element of CQC-WFF A holds {p} |- p