Verified answer

GCD(k,n) = 1 means that k and n have no common divider . Similarly ,

GCD(n-k,n) = 1 means that n-k and n have no common divider .

Assume that n-k and n have a common divider c(≠1) . So

n-k = cp (p is a positive integer)

n = cq (q is a positive integer and p < q)

Therefore

n - (n-k) = c(q-p) ... q-p becomes a positive integer

k = c(q-p)

So c is a divider of k .

But n = cq , so c is a divider of n .

So c becomes a common divider of k and n . This is a contradiction .

Therefore , n-k and n have no common divider . That is , GCD(n-k,n) = 1 .