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