From second: \(n_1 = m_1 + y\), plug: \(m_1 + (m_1 + y) = 2m_1 + y = S\), \(n_1 = m_1 + y\), so \(m_2 + n_2 = 2m_1 + y\). - AMAZONAWS