Теорема за деление с остатък

Used when we want to prove some properties about modular arithmetic.

Given any integer A, and a positive integer B, there exist unique integers Q and R such that

Examples: