What results do you know in connection with this? See if you can follow the following argument with your current knowledge.

Since and , and since is the greatest divisor of both and , we have .

Conversely, since divides both and , we have that divides , i.e. . In conclusion, for some scalar . Since both and are monic, the scalar is equal to 1, hence .