3x同余4(mod 5)为什么可以化简为x同余3(mod 5)