theorem Th46: :: STIRL2_1:46

for k, n being Nat holds (n + 1) block (k + 1) = ((k + 1) * (n block (k + 1))) + (n block k)