1.Let a be an integer and p be a positive integer. Prove that if p divides a, then
2.Show that if GCD(a, c)=1 and c divides ab, then c divides b.
Let d=gcd(a,p). We can say, in particular, that d divides p.
Since p divides both p (obvious) and a (because a is a multiple of p), we can say that p divides the gcd of a and p, that is d.
d | p and p | d
Note that the first can be an equivalence#2:
. Can you conclude?