theorem :: NUMBER10:46

for m being positive Nat holds card { [x,y] where x, y is positive Nat : ((((((x ^2) + (y ^2)) + ((2 * x) * y)) - (m * x)) - (m * y)) - m) - 1 = 0 } = m