f s x y f x s x f x s y f y x f 2 s 1 INNERMOST ./TRS/AProVE/rta2.trs