theorem :: CQC_THE1:3

canceled;