III.T38 — Finite Factorization Pasting

Every E₁ object factors through finitely many primitive sector components; the E₁ content of α_p ∧ α_q = α_{p×q}