Proof of Theorem 3.19, p. 294 — the step sequence satisfies λ²_{s−1} = λ²_s − λ_s

Initializing...

Proof of Theorem 3.19, p. 294 — the step sequence satisfies λ²_{s−1} = λ²_s − λ_s · Prove2Me