theorem :: GRFUNC_1:18

canceled;