>>669
＞負の値の余りはありえないだろう。
定義すればありえますよ
実際、伝統的な初頭整数論の教科書では「絶対的最小剰余」として定義してますね
https://ja.wikisource.org/wiki/%E5%88%9D%E7%AD%89%E6%95%B4%E6%95%B0%E8%AB%96%E8%AC%9B%E7%BE%A9/%E7%AC%AC1%E7%AB%A0/%E6%95%B4%E6%95%B0%E3%81%AE%E6%95%B4%E9%99%A4