III.T13 — Label Convergence

Label_n stabilizes: for each prime p, there exists n₀ such that Label_n(p) is constant for n ≥ n₀. The limiting classifier Label_∞ exists. Stabilization is immediate at depth of first appearance.