pを3以上の素数、a,bを自然数とする。

a+bとabがともにpの倍数であるとき、
aとbはともにpの倍数であることを示せ。

この命題の対偶を考えるのでしょうが、
式がどうなるのか分かりません…；