theorem Th52: :: STIRL2_1:52

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