theorem :: FUNCT_6:19

canceled;