Здравствуйте. Пусть даны целые

, и пусть

обратимо, то есть существует мультипликативная инверсия

. Формальное частное

. Причем, если

кратно

, то

. С этим все ясно. Но вот как связано формальное частное с истинным частным

, округленным до целого в ту или иную сторону, в случае, если

не кратно

? Например, если

--- нечетное число (не обязательно простое), и

, то

(для нечетного

). А есть ли какие-нибудь обобщения для случая

? В книгах Виноградова и Айерлэнда не нашел этого. И вообще, подскажите, пожалуйста, литературу, в которой рассматривается формальное частное и его свойства.