theorem :: FUNCT_2:37

canceled;