Необходимо доказать теорему о делении с остатком, связанное с ближайшим целым
а принадлежит Z b принадлежит N. Существуют и единственны q, r принадлежащие Z a=bq+r
r принадлежит отрезку от -(b-1)/2 до (b-1)/2 при b=2k+1
r принадлежит отрезку от -(b)/2 до (b)/2 при b=2k.