Theorem

Given two integers and , with , there exists unique integers and such that:

where is the quotient and is the remainder, is the divisor and is the dividend.

Long Divison