theorem :: NUMBER10:43

for m, n being positive Nat ex a, b, c being Integer st { [x,y] where x, y is Nat : (a * x) + (b * y) = c } = {[m,n]}