Registry · Theorem
IV.T70
tau-effective
formalized
IV.T70 — Color Number Theorem
The number of color charges is N_c = 3, uniquely determined by primorial depth d=3, the CRT decomposition Z/30Z = Z/2Z x Z/3Z x Z/5Z, removal of the polarity factor Z/2Z, and chi_minus-dominant resolution of the Z/3Z factor.
Book IV
Part 5
Ch. 38