theorem Th26: :: NAT_D:26

for n being natural Number holds 0 = 0 mod n