Yes, the proof uses contradiction. But this contradiction only works, because, when p divides a2, p also divides a. So p divides a and b -> contradiction. But for that to happen, the statement that when x divides y2, x divides y, also has to be true. Only because of this you can say, that they...