theorem :: FUNCT_5:7

canceled;