｜ａ−ｂ｜＝ｋＮ
ａ、ｂ、Ｎは実数、ｋは自然数。
このときａとｂをｋで割った余りは等しい。

この定理？の名前はなんですか？教えて下さい。