For \(x\) and \(y\) to be integers, \(a\) and \(b\) must both be even (since if both were odd, \(ab\) would be odd; if one odd and one even, \(a + b\) is odd). So both \(a\) and \(b\) must be even. - Groen Casting