Lemma 8. For all i ≥ 0 and a ≤ b ∈ ℕ and r > 0 we define