s p x x p s x x plus 0 y y plus s x y s plus x y plus p x y p plus x y plus i x x 0 plus x plus i x y y i 0 0 i s x p i x i p x s i x i i x x i plus x y plus i y i x times 0 y 0 times s x y plus times x y y times p x y plus times x y i y s 1 p 1 plus 2 AC 0 0 i 1 times 2 AC FULL ./TRS/AProVE_AC/AC06.trs