theorem :: FUNCT_6:30

canceled;