theorem :: FUNCT_5:2

canceled;