. We initial present that x mod n = a mod n. It really is on the whole legitimate that (a + bn) mod n = a mod n for all integers b; Therefore, This is certainly accurate also in The actual circumstance when b = − ⌊ a − d n ⌋ textstyle b=-!leftlfloor frac a-d n appropriaterf