Suppose \((m,n)\) and \((m',n')\) give same \((x,y)\): then \(m + n = m' + n'\) and \(n - m = y\). - Nelissen Grade advocaten