Registry · Remark V.R480 framework not_formalized V.R480 — Consistency of the three proofs All three proofs of |gen|=3 return the same number Book V Part 7 Ch. 60