证明:x同余a(mod m)x同余b(mod n) =>(n-m)x同余an-bm(mod mn)