theorem :: CQC_THE2:89

for A being QC-alphabet
for p, q, r being Element of CQC-WFF A holds
( {p,q} |- r iff {(p '&' q)} |- r )