Manuscript Em01-E@2 · Em01-E-v2.tex · corollary · 54f8f8c2
Corollary: Raw-prescription failure theorem
The complete-expansion decision theorem · lines 785–791
Em01-E@2#cor:rawfailure
A surviving complete nonsummable coefficient proves failure of the specified unmodified family on one fixed test. It does not prove failure of every extension or every other construction.