theorem :: FUNCT_6:20

canceled;