Registry · Theorem V.T317 conjectural not_formalized V.T317 — Five-sixths factor Ledger restatement: 5/6=W_3(4)/(2*sectors) factor (V.T180) Book V Part 7 Ch. 62