be the representative of what is left. In this way we first obtain a progression

,

, ...

, ..., assuming that

is not finite. We then take away the whole progression; let