theorem :: FUNCT_5:18

canceled;