theorem :: FUNCT_5:4

canceled;