Registry · Theorem
V.T53
tau-effective
formalized
V.T53 — R Formula Independence --- V.R03
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3 alpha^2) iota_tau^(-2) does not depend on kappa_n, c_1, or any parameter entering the closing identity. The exponent -7 comes from the Epstein zeta Z(4; i iota_tau), and sqrt(3) from lemniscate spectral distance.
Book V
Part 2
Ch. 20