>>54
yが非0前提で

x/y は整数での割り算のルールに則ったまま
(x/y) * y + (x % y) が 常に x と等しい　ってこと？　＜　C99 の仕様