If has infinite order there exists no nonzero such that , and since implies , it follows .

If then we again have the implication . By the division algorithm , with . Then , and since is the lowest positive integer such that , it follows that . Hence .