theorem :: FUNCT_7:24

canceled;