theorem :: CQC_THE1:65

for Al being QC-alphabet
for p, q being Element of CQC-WFF Al st p is valid & p => q is valid holds
q is valid