Theorem: For all
,
Proof:
Recall the stretch operator:
Let , where , . Also define the new denser frequency grid associated with length by , and define as usual. Then
But
Thus, , and by the modulo indexing of , copies of are generated as goes from 0 to .