theorem :: FUNCT_6:18

canceled;