I was given this question in class and was never given an answer:

Definition: If and then it is said that exactly divides q, denoted as

Question: Show that if and , then

Is it sufficient to say that:

since they have the same gcd.

Since is a common divisor, then

Then again, I have no clue what I'm doing.