theorem Th29: :: STIRL2_1:29

for k, n being Nat st n < k holds
n block k = 0