For each positive integer n, we have

In the proof for this theorem, is defined as where are elements of

For each element in , we set and

The exercise is: Write explicitly down the function in the proof of the theorem for

Cd:= d * {d} Cd:= d * {d}