Add the missing corner to xy - nx - ny and it factors, so an equation in two unknowns becomes a count of divisors.