Corollary: A service-priced cut obstruction

In the one-way model of Theorem thm:communication, if each crossing link supplies only the one-bit service above and ${\sigma }_{A\mid B}(g_0)<2$, exact recovery is impossible.

Proof. The grammar permits fewer than two transmitted bits, while Theorem thm:communication requires at least two.