theorem Th26: :: STIRL2_1:26

for n being Nat holds n block n = 1