g 0 0 g s x f g x f 0 0 g 1 0 0 s 1 f 1 FULL TRS//AProVE_10/ex5.trs