Suppose \((m_1, n_1)\) and \((m_2, n_2)\) give same \((x,y)\):