g tt x y g f x y s x s y f s x y f x y f x s y f x y f 0 0 tt g 3 tt 0 f 2 s 1 0 0 FULL TRS//AProVE_10/ex3.trs