`res'
-----

res(VAR,POLY1,POLY2)
     :: VAR ˴ؤ POLY1  POLY2 ν뼰.

RETURN
     ¿༰
VAR
     긵
POLY1,POLY2
     ¿༰

   * Ĥ¿༰ POLY1  POLY2 , ѿ VAR ˴ؤ뽪뼰.
   * ʬ뼰르ꥺˤ.

     [0] res(t,(t^3+1)*x+1,(t^3+1)*y+t);
     -x^3-x^2-y^3

