theorem :: NUMBER14:13

for i, j, k being Integer st i <> 0 & i divides k & i * j,k are_coprime & not i = 1 holds
i = - 1