数论运算基本性质整理

基本！

整除：传递，同乘。
同余：自反，对称，同加，同乘，同幂。