6. Ce procédé classique consiste à considérer une suite (ϕ_k) d’extractions, où ϕ₀ est telle que a₀(ϕ₀(n)) converge et ϕ_k+1 est une extraction de ϕ_k telle que a_k+1(ϕ_k+1(n)) converge, puis à poser ϕ(n) = ϕ_n(n).