Registry · Proposition
IV.P179
tau-effective
formalized
IV.P179 — E₁ Page Derivation of α-Coefficient
The (8/15)·(121/120) factorization is a COROLLARY of the tensor-square density 121/225. The tensor square produces 121/225 in one computation; the Euler sieve (8/15) and twin prime residue (121/120) are algebraic projections of this single density.
Book IV
Part 1
Ch. 1