theorem NP2: :: NEWTON07:12

for n being Nat holds ((n + 1) choose 2) - (n choose 2) = n