Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352
The additional terminal program
Row 5: the final-burst and no-remnant analogy › The additional terminal program · lines 1114–1121
This reproduces the locally stated identity in Hawk04-B
CheungHawk04B (Theorem thm:drop).
Lemma lem:local proves the stronger conclusion that any
trace-preserving residual operation, with all its outputs ignored,
leaves the untouched channel unchanged.