theorem :: CQC_THE1:2

canceled;