Prove that divides if and only if divdes .
Suppose ; say .
If , there is nothing to show. Suppose ; then , so that divides .
Now suppose divides . By the Division Algorithm in , we have and such that . Now . If , then (by the uniqueness part of the division algorithm in ) , so and . If , then , and again we have , so .