m and n are natural numbers. The division algorithm states that there exists a unique whole number q, such that when m is divided by n, the result is q with remainder. The division algorithm provides a way to express one natural number as a whole number multiple of another plus a remainder.