theorem :: FUNCT_5:6

canceled;