theorem :: CFDIFF_1:37

canceled;