+ 1 x y a + x y 1 + + a a