Corollary: Exact source restriction

For a fixed $g$, all successor probabilities depend only on the state functional on ${\mathcal{A}}_g$ if and only if

Proof. Sufficiency is (eq:transition-probability). For necessity, apply the faithful-state perturbation proof of Theorem thm:observation to each effect.