В соответствии с разделом 15.17.3 JLS «Операция остатка для операндов, которые являются целыми числами после двоичного числового преобразования, приводит к значению результата, так что (a / b) * b + (a% b) равно a. Этоидентичность сохраняется даже в частном случае, когда дивиденд является отрицательным целым числом наибольшей возможной величины для его типа, а делитель равен -1 (остаток равен 0). "
Надеюсь, что поможет.