The function defined by is periodic with period . The induced function is a permutation, and its order is a power of 2.
(sketch). The theorem is established by induction on k, using the inductive hypotheses:(1) is periodic with period for . In fact
for . I omit the details.