theorem :: CFUNCT_1:32

canceled;