theorem :: FUNCT_1:30

canceled;