theorem :: CQC_THE1:4

canceled;