Is that meant to be a contradiction to show that the greatest common divisor of (p,c) is 1 and the k cannot be greater?
How do we know that p is a divisable to c (so it can't be the gcf(p,c))?
You need lessons in basic logic.
The point is that either .
Now if we are done with the proof.
So suppose that then .
Thus this means that so .