¹This follows from the division theorem, which can be written in the form a = b ⋅⌊a∕b⌋ + (a mod b).