Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45
The cancellation lemma
Stage 1: audit of the five proof interfaces › The cancellation lemma · lines 577–582
This is the supplied cancellation passage, with its finite argument verified locally OpenAI265A. The lemma alone does not construct its partition or establish the displayed mutual-information bounds.