Registry · Proposition
III.P41
established
formalized
III.P41 — Radical-Primorial Identity
Radical-primorial identity: rad(M_k) = M_k for all k. Primorial tower consists of squarefree numbers — the natural domain for ABC. ABCD coordinates decompose via tower; radical inherits decomposition. Verified at depth 4.
Book III
Part 10
Ch. 81