> -- albobin писал(а):
> Наверное, всё же |a MOD b| < |b|
Нет, я хотел написать 0 <= a MOD b < |b|. (но попытался сократить на ходу и, как обычно, напутал)
Ваши условия тоже неплохи, но дают другое определение.