Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
Product-free range is sufficient, not necessary
Stage 4: hypothesis changes and named-model tests › Product-free range is sufficient, not necessary · lines 1811–1816
Moreover, product-free range is not a hypothesis of Theorem thm:bit-gap. It is used to prove that the proposed zero-key state is entangled.