theorem :: FUNCT_6:21

canceled;