これは商を0への切り落とし関数q=trunc(a/n)によって処理し、(1)の処理における余りは「被除数と同じ符号」となる。
很多取模的实现都使用了截断除法，此时商由截断函数定义定义q=trunc(a/n)，因此由等式1有，余数和被除数符号一致。