この定理は、法 m に関する合同式が、加算、減算、乗算に関してうまく機能することを教えてくれます。言い換えれば、合同式に影響を与えることなく、モジュラシステム内でこれらの算術演算を実行できます。
Calculations with congruences