There are a lot of details here, and the result is nontrivial though the conservation of information inequality looks utterly ...