同余的性质

同余关系下，加法和乘法可以自由地边算边取模，结果不变。