$$\left. \begin{array} { l } { x + 3 = y } \\ { \quad x - y + 3 = 0 ( A n + y ) } \end{array} \right.$$