theorem Th4: :: NUMBER07:4

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