I.D46 — Tower Coherence

Tower coherence: reduce(f(n, l), k) = f(n, k) for k <= l. A naturality condition on the primorial inverse system: reducing the output first, or reducing the input first and then applying, gives the same result.