Proof of Theorem 1, per-$P_X$ step — $\min_{V_1}D(W_1\|V_1|P_XW_2)=I(X\wedge Y|Z)$ · Prove2Me

P

Initializing...

Proof of Theorem 1, per-$P_X$ step — $\min_{V_1}D(W_1\|V_1|P_XW_2)=I(X\wedge Y|Z)$ · Prove2Me