自然数Mが、自然数x,y,および互いに素な自然数a,bに対して

　M = xy = (x-a)(y+b)

が成り立つとき,Mはabの倍数といえますか？