Proof

Proof. The report ${\kappa }_i$ is an observable between zero and $a_{i}I$. Its mean changes by at most $a_i{e}_Z$. Use the exact marginal ideal deficit and Theorem thm:jointrecord.