theorem Th44: :: PEPIN:44

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