theorem Th6: :: NUMBER07:6

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