theorem :: CQC_THE1:1

canceled;