Division Theorem

From AoPSWiki

For any positive integer a and integer b, there exist unique integers q and r such that b = qa + r and 0 <= r < a, with r = 0 iff a | b.