theorem Th3: :: NUMBER07:3

for i, j being Integer st i <> - 1 & i <> 1 & i divides j holds
not i divides j + 1