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 .

Advertisements