Registry · Theorem
IV.T08
established
formalized
IV.T08 — Coulomb-Permittivity
k_e = 1/(4π·ε₀): proven from dimensional exponent cancellation and π-prefactor arithmetic. k_e+ε₀ exponents = zero. Prefactors: (1/32)·4·(8) = 1, π^(2+1-3) = π⁰. Pure algebraic identity.