But among these, we do **not** require \(m, n\) even — in fact, many are odd. But we already established that \(a = 2m\), \(b = 2n\), so both are even regardless.