Infeasibility Proof and Information State in Network Information Theory.pdf