Lemma: One-layer support

For a partitioned block channel $\Phi$,

Proof. Outside the displayed union, the observable is the identity on whole blocks. Their adjoints preserve that identity. Within the union a block adjoint can enlarge support only to its own input block. Linearity treats arbitrary joint observables on the union.