theorem :: FUNCT_5:5

canceled;