Registry · Remark
V.R202
tau-effective
formalized
V.R202 — Minimal Alphabet and Sector Count
The Minimal Alphabet Theorem (I.T09) asserts that exactly five generators are needed: fewer are insufficient and more are redundant. A six-generator model always has the sixth expressible as a combination of the original five, fixing the sector count at exactly four plus crossing.