Manuscript Em01-D@2 · Em01-D-v2.tex · section · d3b49151
Main theorem
The fixed-kernel decision problem › Main theorem · lines 341–350
Theorem thm:main is proved in Section sec:proofmain. Its applicability to the designated physical inputs is not assumed.
Raw failure and existence of a separately authorized extension can occur together. They concern different constructions.