theorem Th44: :: NUMBER10:44

for m being positive Nat holds card { [x,y] where x, y is positive Nat : x + y = m + 1 } = m