theorem Th32: :: STIRL2_1:32

for n being Nat st n <> 0 holds
n block 1 = 1