g tt x g h f x x s x h f 0 y tt f s x y f x s y g 2 tt 0 h 1 f 2 s 1 0 0 FULL TRS//AProVE_10/ex2.trs