theorem :: GRFUNC_1:19

canceled;