The function defined byis periodic with period . The induced function is a permutation, and its order is a power of 2.

(sketch). The theorem is established by induction onk, using the inductive hypotheses:(1) is periodic with period for . In fact

for . I omit the details.