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.

2. Suppose m and n are natural numbers.
The division algorithm says that there is one
single unique whole number q such that…