Research · Proof Appendix
Proof Appendix
Project Scope
This page exists for readers who do not want to be asked for faith.
If you ever tried to read a theorem that sounded strong, only to discover that all the hard steps were hidden behind phrases like “it follows that,” you understand the purpose of this appendix.
What this appendix does
- It shows the full proof flow without skipping the uncomfortable parts.
- It keeps track of the quantitative constants and the bound bookkeeping that make the certification story honest.
- It isolates the exact points where the argument uses a structural property, so you can tell what is essential and what is convenience.
How to use it without burning out
| If you are… | Use this appendix like this |
|---|---|
| A careful but non-specialist reader | Look for the proof roadmap and read the explanations around each key lemma |
| A referee-minded reader | Check the logical arrows, then spot-check the quantitative inequalities |
| A practitioner trying to reuse the method | Focus on the parts that turn structure into explicit bounds and certificates |
Why this matters
The flagship message of the whole program is that minimality forces structure.
A claim like that can feel suspicious if you cannot see exactly where the force comes from. The appendix shows you where it comes from.
If you do not need proof details, you can skip this page. If you want to trust the work, this page is one of the main places trust is earned.
Project Scope
This page is the technical backbone.
- What it contains: the proof-level details that justify each step used in the main narrative.
- Why it exists: it keeps the main pages readable while still providing complete proofs in one place.
- How to read it: use it when you want to confirm a specific lemma, constant, or implication rather than reading it cover-to-cover.
| Typical reason to open this | What you look for |
|---|---|
| You want to check a lemma used in a narrative page | The full proof and its dependencies |
| You want to see what assumptions are actually used | Precise statements and where they enter |
| You want to audit a bound or constant | The derivation chain and bookkeeping |
Books by Drew Higgins
Prophecy and Its Meaning for Today
New Testament Prophecies and Their Meaning for Today
A focused study of New Testament prophecy and why it still matters for believers now.
Christian Living / Encouragement
God’s Promises in the Bible for Difficult Times
A Scripture-based reminder of God’s promises for believers walking through hardship and uncertainty.
