a*y + b*x = a*y' + b*x' (mod a*b)



b*x = b*x' (mod a)
よって、 x = x' (mod a)

a*y = a*y' (mod b)
よって、 y = y' (mod b)