theorem :: FUNCT_5:3

canceled;