同余(Congruence theorem)

a同余b，意为a%b=b(%m) 记作：a≡b(mod m) 读作：a同余于b模m，或a与b对模同余 定理：1）a≡b(mod m)，当且仅当m | (a-b) 2）a≡b(mod m)，当且仅当存在k使得a = b + m * k 性质：1）对称性：a≡b(mod m) -> b≡a(mod m) 2）传递性：a≡b(mod m) && b≡c(mod m) -> a≡c(mod m) 3）同加性：a≡b(mod m) -> a+c≡b+c(mod m) 4）同乘性：a≡b(mod m) -> a*c≡b*c(mod m) 5）同冥性：a≡b(mod m) -> a^n≡b^n(mod m)