同余式a≡b(mod m)成立,a²≡b²(mod m)成立吗?如何证明?