theorem Th5: :: NUMBER07:5

for i, j being Integer st i divides j holds
i,j + 1 are_coprime