Registry · Theorem
V.T205
tau-effective
formalized
V.T205 — c² Cancellation Theorem
c² Cancellation Theorem: for ANY baryonic density profile, v_cap²(r) = GM·f(r/Rd,r/ℓ)/r where f is independent of c. The c⁻² from the source (4πG/c²)ρ cancels the c² from velocity extraction v²=−(c²r/2)u′. Verified: point mass (3D), thin disk (2D, K₀), arbitrary density (Green's function), all to machine precision (<10⁻¹⁵). The c² in V.T85 is NOT accessible by linearization.
Book V
Part 5
Ch. 37