b) Suppose that p is one of the prime factors of a. Then p must also be a divisor of b. If is the highest power of p that divides a, and is the highest power of p that divides b, then the condition implies that , or . Conversely, if that condition holds for each prime divisor of a, then . The result then follows from the fact that .
c) Hint: notice that .