theorem Th39: :: NEWTON:39

for n, m being Nat st m <> 1 & m divides n holds
not m divides n + 1